Automated Targeting for the MER Rovers
A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis
The Lunar Laser Communications Demonstration (LLCD)
Earned Value Management Software Projects
Autonomous Planning and Execution for a Future Titan Aerobot
Time and Space Partitioning in Spacecraft Avionics
SKEYP: AI Applied to SOHO Keyhole Operations
Model Based Analysis and Test Generation for Flight Software