Virtual Planning at Work: A Tour of NASA Future Flight Central
VERSE - Virtual Equivalent Real-time Simulation
Verification and Validation of Autonomy Software at NASA
USM3D Simulations for Second Sonic Boom Workshop
Using Artificial Intelligence Planning to Automate Science Image Data Analysis
Unmanned Aircraft Systems in the National Airspace System: A Formal Methods Perspective
Uncertainty Considerations for Ballistic Limit Equations
Trajectory Design Software for Low-Cost Planetary Mission Feasibility Studies
Towards Better Object Oriented Software Designs with Quality Function Deployment