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
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.