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

Michael R. Lowry
Klaus Havelund
ISMIS(1997), pp. 35-47

Abstract

Research Areas