Machine-Learned Correctness Properties, Runtime Verification, and Advance-Warning Oracles for Autonomous Systems. - Matthew Litton; Doron Drusinsky; London Bridget; James Bret Michael (Computer, 2024)