Previous Projects
- AutoFilter: Synthesis of State Estimation Software
- Software Risk Management
- Amphion: Synthesis of Planetary Software and Animations, and Theory Compilation
- Honeywell's DEOS Operating System
- HSTS Planner Domain Models for Deep Space 1
- Propel: Property Checking for C++
- Remote Agent Executive for Deep Space 1
- The Livingstone Model-Based Diagnosis System
Reviewed 2012
- NASA Official: Michael Shafto
- Curator: ASANI Solutions