Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems. - Doron Drusinsky; James Bret Michael; Matthew Litton (ISSRE Workshops, 2022)

Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties. - Doron Drusinsky; Matthew Litton; James Bret Michael (Computer, 2022)

Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems. - Doron Drusinsky; Matthew Litton; James Bret Michael (Computer, 2023)

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

Discovering Decision Manifolds to Assure Trusted Autonomous Systems. - Matthew Litton; Doron Drusinsky; James Bret Michael (IEEE Syst. J., 2025)