People Involved in
Formal Verification of Autonomous Systems Project

Project Page Publications People Related Sites

Reid Simmons reids+@cs.cmu.edu Charles Pecheur pecheur@ptolemy.arc.nasa.gov 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