People Involved in
Formal Verification of Autonomous Systems Project

Project Page
Publications
People
Related Sites

 

 
The Robotics Institute
Carnegie Mellon University
NASA Ames Research Center

 
Reid Simmons Reid Simmons reids+@cs.cmu.edu
Charles Pecheur Charles Pecheur pecheur@ptolemy.arc.nasa.gov
Edmund Clarke Edmund Clarke emc@cs.cmu.edu
Wolfgang Heinle wmh@cs.cmu.edu
Mark Shirley shirley@ptolemy.arc.nasa.gov
Grama Srinivasan srinivasa.grama@wipro.com
Bwolen Yang bwolen@verplex.com

Last Updated: July 17, 2000 reids+@cs.cmu.edu