Verification and Validation of AI Systems that Control Deep-Space Spacecraft.

Michael R. Lowry, Klaus Havelund, John Penix

Browse the full ISMIS paper archive.