Challenges in verification and validation of autonomous systems for space exploration.

Guillaume Brat, Ari K. Jnsson

Browse the full IJCNN paper archive.