Formal methods for semi-autonomous driving
暂无分享,去创建一个
S. Shankar Sastry | Sanjit A. Seshia | Dorsa Sadigh | S. Sastry | S. Sastry | S. Seshia | Dorsa Sadigh | S. S. Sastry | UC Berkeley
[1] J. A. Hartigan,et al. A k-means clustering algorithm , 1979 .
[2] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[3] Editors , 1986, Brain Research Bulletin.
[4] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[5] Jeannette M. Wing. A specifier's introduction to formal methods , 1990, Computer.
[6] Natarajan Shankar,et al. PVS: A Prototype Verification System , 1992, CADE.
[7] M. Gordon,et al. Introduction to HOL: a theorem proving environment for higher order logic , 1993 .
[8] Edmund M. Clarke,et al. Formal methods: state of the art and future directions , 1996, CSUR.
[9] L. Kohn,et al. COMMITTEE ON QUALITY OF HEALTH CARE IN AMERICA , 2000 .
[10] A. Wall,et al. Book ReviewTo Err is Human: building a safer health system Kohn L T Corrigan J M Donaldson M S Washington DC USA: Institute of Medicine/National Academy Press ISBN 0 309 06837 1 $34.95 , 2000 .
[11] Stephan Merz,et al. Model Checking , 2000 .
[12] P. Maurette,et al. [To err is human: building a safer health system]. , 2002, Annales francaises d'anesthesie et de reanimation.
[13] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic , 2008, 25 Years of Model Checking.
[14] Cesare Tinelli,et al. Satisfiability Modulo Theories , 2021, Handbook of Satisfiability.
[15] Sharad Malik,et al. Boolean satisfiability from theoretical hardness to practical success , 2009, Commun. ACM.
[16] Panagiotis Manolios,et al. Computer-Aided Reasoning: An Approach , 2011 .
[17] Sanjit A. Seshia,et al. Mining assumptions for synthesis , 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
[18] Alberto L. Sangiovanni-Vincentelli,et al. Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties , 2013, CAV.
[19] Edward A. Lee,et al. Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .
[20] Alberto L. Sangiovanni-Vincentelli,et al. Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior , 2014, AAAI Spring Symposia.
[21] S. Shankar Sastry,et al. Synthesis for Human-in-the-Loop Control Systems , 2014, TACAS.