Abstract
This presentation will describe how we are using, and aiming to use, runtime verification, along with other varieties of formal verification and simulation-based testing, to together provide increased confidence in a range of autonomous systems
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX '21) |
| Publication status | Accepted/In press - 28 May 2021 |
Fingerprint
Dive into the research topics of 'Increasing Confidence in Autonomous Systems'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver