Portal:Sources

Books on verification

• Model checking book. E. Clarke
• Other model checking book by Peter Katoen
• Book on software testing/model-based testing
• Artificial Intelligence and Software Testing - Building systems you can trust (2022). Rex Black, James Davenport, Joanna Olszewska, Jeremias Rößler, Adam Leon Smith, Jonathon Wright. Edited by Adam Leon Smith link

Special issues on VAS

• Journals

Case studies

• Steps and method followed when verifying a system

Whitepapers on autonomous systems V&V from regulators

• How to apply V&V to autonomous systems
• How to interpret regulations for different countries
• What remains to be done for regulations

E.g.

• Reviews on regulations for autonomous systems in Australia

Review or survey papers on V&V

• Michael Fisher's survey paper
• Signe + David Tate's white paper

Existing projects

• Metrics [1] - finding ways to organize competitions that are reproducible, benchmarks to structure robotics competitions, comparing hardware and software together. Applications: healthcare, agriculture, etc.

Benchmark models

• Simulink model benchmark for falsification (3 models)

Testing fields & sites/labs

• Georgia Tech Robotarium
• Urban search and rescue at Texas A&M

Robotics & autonomous systems competitions

• DARPA
• Autonomous vehicles
• European Robotics League
• ROBOCUP
• AWS Deepracer (deep learning for training autonomous vehicles)
• Australia & New Zealand Search and Rescue [2]
• SAUC-E - underwater robotics competition
• Robosub