Difference between revisions of "Portal:Sources"
Jump to navigation
Jump to search
AIDejanira (talk | contribs) |
|||
| Line 45: | Line 45: | ||
* DARPA | * DARPA | ||
* Autonomous vehicles | * Autonomous vehicles | ||
* Robotics | * European Robotics League | ||
* ROBOCUP | * ROBOCUP | ||
* AWS Deepracer (deep learning for training autonomous vehicles) | * AWS Deepracer (deep learning for training autonomous vehicles) | ||
* Australia & New Zealand Search and Rescue [https://uavchallenge.org/search-and-rescue/] | * Australia & New Zealand Search and Rescue [https://uavchallenge.org/search-and-rescue/] | ||
* SAUC-E - underwater robotics competition | |||
* Robosub | |||
== Conferences == | == Conferences == | ||
Revision as of 12:05, 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
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