Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice

Matthew L. Daggitt, Ekaterina Komendantskaya, Alistair Sirman +4

Formal verification of neuro-symbolic cyber-physical systems, such as drones, medical devices and robots, is complicated. Neural components must be trained to be optimal with respe…