Formal Verification of Neural Network Controlled Autonomous Systems.
Xiaowu SunHaitham KhedrYasser ShoukryPublished in: CoRR (2018)
Keyphrases
- autonomous systems
- formal verification
- neural network
- model checking
- uncertain environments
- dynamic environments
- model checker
- automated verification
- symbolic model checking
- autonomous navigation
- bounded model checking
- dynamic and uncertain environments
- fuzzy logic
- artificial neural networks
- situation awareness
- temporal logic
- field of view
- artificial intelligence