Pecheur, Charles, Willem Visser, and Reid Simmons. 2001. “RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems”. AI Magazine 22 (3):107. https://doi.org/10.1609/aimag.v22i3.1583.