Difference between revisions of "Portal:Sources"
Jump to navigation
Jump to search
| Line 38: | Line 38: | ||
== Testing fields & sites/labs == | == Testing fields & sites/labs == | ||
* Georgia Tech Robotarium | |||
* Urban search and rescue at Texas A&M | |||
* | |||
== Robotics & autonomous systems competitions == | == Robotics & autonomous systems competitions == | ||
Revision as of 12:07, 19 April 2022
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
- 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 [1]
- SAUC-E - underwater robotics competition
- Robosub