Towards Formal Verification of Neural Networks in Cyber-Physical Systems.
Federico RossiCinzia BernardeschiMarco CococcioniMaurizio PalmieriPublished in: NFM (2024)
Keyphrases
- formal verification
- neural network
- cyber physical systems
- model checking
- cyber physical
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- physical world
- artificial neural networks
- fuzzy logic
- embedded systems
- open source
- cyber security
- ubiquitous computing
- critical infrastructure
- communication systems
- temporal logic
- distributed databases
- virtual world
- access control
- decision making