Anytime Safety Verification of Autonomous Vehicles

Keyphrases

• Traffic Participants 100%
• Autonomous Vehicles 100%
• Safety Verification 100%
• Computation Time 50%
• Result-oriented 50%
• Computational Demand 50%
• Traffic Situation 50%
• Reachability Analysis 50%
• Benchmark Suite 50%
• Verification Result 50%
• Coarse Model 50%
• Motion Plan 50%
• Online Verification 50%
• Model Abstraction 50%
• Surrounding Traffic 50%
• Safe Movement 50%
• Varying number 50%

Computer Science

• Autonomous Vehicles 100%
• Reachability Analysis 50%
• Varying Number 50%
• Computation Time 50%