Portal:Sources
Revision as of 12:51, 5 April 2022 by AIDejanira (talk | contribs)
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
Existing projects
Benchmark models
- Simulink model benchmark for falsification (3 models)
Testing fields & sites/labs
Robotics & autonomous systems competitions
- DARPA
- Autonomous vehicles
- Robotics European League
- ROBOCUP
- AWS Deepracer (deep learning for training autonomous vehicles)
- Australia & New Zealand Search and Rescue [1]