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 |