Pecheur, C.; Visser, W.; Simmons, R. RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. AIMag 2001, 22, 107.