Lightweight Verification and Validation of Cyberphysical Systems Using Machine-Learned Correctness Properties
Doron Drusinsky, Matthew L. Litton, James Bret Michael · Computer · 2022
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.