Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties

Applying classical formal methods to cyberphysical systems is inherently difficult, but using machine learning for lightweight verification and validation can provide assurances for the operation of such systems, even at the edge.