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
Patterned Growth in Extreme Environments
Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL
A Workflow Model for Earth Observation Sensor Webs