Assured runtime monitoring and planning: Toward verification of neural networks for safe autonomous operations

Keyphrases

• Reachability Analysis 100%
• Neural Network Verification 100%
• Runtime Monitoring 100%
• Autonomous Operation 100%
• Noise Effects 50%
• Actuator 50%
• Controller 50%
• Disturbance Effect 50%
• Computational Complexity 50%
• Envi 50%
• Motion Planning 50%
• Autonomous Systems 50%
• High Dynamic 50%
• Safety Guarantee 50%
• Planning Operations 50%
• Unsafe States 50%

Computer Science

• Neural Network 100%
• Reachability Analysis 100%
• Computational Complexity 50%
• Motion Planning 50%
• Autonomous System 50%
• Operating System 50%
• Sensors and Actuator 50%

Engineering

• Reachability 100%
• Powerful Tool 50%
• Computational Complexity 50%
• Actuator 50%
• Autonomous System 50%