Pecheur C, Visser W, Simmons R. RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. AIMag [Internet]. 2001Sep.15 [cited 2024Apr.19];22(3):107. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1583