Increasing confidence in autonomous systems
Michael Fisher, Angelo Ferrando, Rafael Cauê Cardoso · 2021
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.