|
|
-
Towards Formal Verification of Autonomous Systems,
R. Simmons, C. Pecheur and G. Srinivasan.
To appear in Proceedings of the Conference on Intelligent Robots
and Systems (IROS), Takamatsu Japan, October 2000.
-
From Livingstone to SMV: Formal Verification
for Autonomous Spacecrafts,
C. Pecheur and R. Simmons.
First Goddard Workshop on Formal Approaches to
Agent-Based Systems, NASA Goddard, April 2000. To appear in Lecture
Notes of Computer Science, Springer Verlag.
-
Automating Model Checking for Autonomous Systems,
R. Simmons and C. Pecheur, AAAI Spring Symposium on Real-Time
Autonomous Systems, Stanford CA, March 2000.
-
Optimizing Symbolic Model Checking for Invariant-Rich Models
(abstract).
B. Yang, R. Simmons, R. Bryant, and D. O'Hallaron.
In Proc. of International Conference on Computer-Aided Verification (CAV'99).
-
Optimizing Symbolic Model Checking for Constraint-Rich Models,
B. Yang, R. Simmons, R. Bryant, D. O'Hallaron,
Technical Report CMU-CS-99-118,
School of Computer Science, Carnegie Mellon University, March 1999.
|
