Verifying the Safety of Autonomous Systems with Neural Network Controllers.
Radoslav IvanovTaylor J. CarpenterJames WeimerRajeev AlurGeorge J. PappasInsup LeePublished in: ACM Trans. Embed. Comput. Syst. (2021)
Keyphrases
- autonomous systems
- neural network
- uncertain environments
- dynamic environments
- autonomous navigation
- dynamic and uncertain environments
- artificial neural networks
- control system
- reinforcement learning
- unmanned aerial vehicles
- image sequences
- situation awareness
- decision making
- intelligent systems
- stereo matching
- soft computing