A Comprehensive Approach to On-board Autonomy Verification and Validation
暂无分享,去创建一个
Marco Bozzano | Marco Roveri | Alessandro Cimatti | Andrei Tchaltsev | A. Cimatti | Marco Roveri | M. Bozzano | A. Tchaltsev
[1] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[2] Brian C. Williams,et al. Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior , 2005, AAAI.
[3] D. Fisman,et al. A Practical Introduction to PSL (Series on Integrated Circuits and Systems) , 2006 .
[4] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.
[5] Paolo Traverso,et al. Automated Planning: Theory & Practice , 2004 .
[6] Albert Oliveras,et al. SMT Techniques for Fast Predicate Abstraction , 2006, CAV.
[7] Stephan Merz,et al. Model Checking , 2000 .
[8] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[9] Marco Pistore,et al. Weak, strong, and strong cyclic planning via symbolic model checking , 2003, Artif. Intell..
[10] Helmut Veith,et al. Counterexample-guided abstraction refinement for symbolic model checking , 2003, JACM.
[11] Hassen Saïdi,et al. Construction of Abstract State Graphs with PVS , 1997, CAV.
[12] Piergiorgio Bertoli,et al. Conformant planning via symbolic model checking and heuristic search , 2004, Artif. Intell..
[13] K. Kapellos. MUROCO-II : FOrmal Robotic Mission Inspection and Debugging Executive Summary , 2005 .
[14] Aaas News,et al. Book Reviews , 1893, Buffalo Medical and Surgical Journal.
[15] Paolo Traverso,et al. Automated planning - theory and practice , 2004 .
[16] Armin Biere,et al. Bounded model checking , 2003, Adv. Comput..
[17] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[18] P. Pandurang Nayak,et al. A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.
[19] Edmund M. Clarke,et al. Counterexample-guided abstraction refinement , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
[20] Alessandro Cimatti,et al. Formal verification of diagnosability via symbolic model checking , 2003, IJCAI 2003.
[21] Blai Bonet,et al. Planning with Incomplete Information as Heuristic Search in Belief Space , 2000, AIPS.
[22] Dana Fisman,et al. A Practical Introduction to PSL , 2006, Series on Integrated Circuits and Systems.
[23] Marco Roveri,et al. Computing Predicate Abstractions by Integrating BDDs and SMT Solvers , 2007, Formal Methods in Computer Aided Design (FMCAD'07).
[24] Brian C. Williams,et al. MODEL-BASED AUTONOMY FOR THE NEXT GENERATION OF ROBOTIC SPACECRAFT , 2002 .
[25] Fausto Giunchiglia,et al. NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.
[26] Piergiorgio Bertoli,et al. Safe LTL Assumption-Based Planning , 2006, ICAPS.
[27] Fausto Giunchiglia,et al. Planning via Model Checking: A Decision Procedure for AR , 1997, ECP.
[28] Piergiorgio Bertoli,et al. Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains , 2004, AAAI.
[29] Marco Roveri,et al. Conformant Planning via Symbolic Model Checking , 2000, J. Artif. Intell. Res..
[30] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[31] Piergiorgio Bertoli,et al. Strong planning under partial observability , 2006, Artif. Intell..