Machine-Learned Verification and Advance Notice Oracles for Autonomous Systems
Doron Drusinsky, Matthew L. Litton, James Bret Michael · Computer · 2023
The assurance of cyberphysical systems that employ some degree of autonomy is a difficult problem in that the underlying system is artificial-intelligence-based with almost no accompanying human-written correctness specifications. This article proposes a two-pronged approach using a fast simulation-based search technique named hybrid pair cross-entropy.