Pecheur, C., Visser, W. and Simmons, R. (2001) “RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems”, AI Magazine, 22(3), p. 107. doi: 10.1609/aimag.v22i3.1583.