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.