Title: RIACS workshop on the verification and validation of autonomous and adaptive systems
Subjects: Autonomy, Adaptive control, Program verification (Computers), Computer programs