Formal verification of neural network controlled autonomous systems.
Xiaowu SunHaitham KhedrYasser ShoukryPublished in: HSCC (2019)
Keyphrases
- autonomous systems
- formal verification
- neural network
- model checking
- automated verification
- model checker
- uncertain environments
- dynamic environments
- bounded model checking
- symbolic model checking
- autonomous navigation
- artificial neural networks
- temporal logic
- dynamic and uncertain environments
- decision support
- high resolution
- artificial intelligence