Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems
We describe machine-learned classifiers that act as correctness properties for runtime verification of autonomous systems. Additionally, we show an advance collision detection system using such machine learning correctness properties that provides an uncertainty measure alongside a prediction.
Authors
- Doron Drusinsky (ORCID: https://orcid.org/0000-0002-1723-8467)
- Matthew Litton (ORCID: https://orcid.org/0009-0009-3345-6921)
- James Bret Michael (ORCID: https://orcid.org/0000-0003-3777-9858)
- London Bridget
Institutions
- Naval Postgraduate School (US)
Publication Details
- Journal
- Computer
- Published
- 2024-09-23
- DOI
- https://doi.org/10.1109/mc.2024.3433669
- Citations
- 2
- Primary Topic
- Scientific Computing and Data Management
- Type
- article
- Field-Weighted Citation Impact
- 2.10