Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control.
Stefano DemarchiDario GuidottiAndrea PittoArmando TacchellaPublished in: ECMS (2022)
Keyphrases
- formal verification
- neural network
- model checking
- adaptive neural
- control system
- automated verification
- bounded model checking
- model checker
- genetic algorithm
- artificial neural networks
- test bed
- learning capabilities
- adaptive control
- program slicing
- symbolic model checking
- fuzzy systems
- pattern recognition
- control scheme
- nonlinear systems
- control algorithm
- neural nets
- unmanned aerial vehicles
- control strategy
- feed forward
- neural network model
- fault diagnosis
- dynamic programming