Jump to Content

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

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

Abstract

Research Areas