Safety Verification of a Data-driven Adaptive Cruise Controller

INIS

• hybrids 100%
• verification 100%
• safety 100%
• data 100%
• collisions 66%
• learning 66%
• humans 66%
• control 33%
• vehicles 33%
• equations 33%
• tools 33%
• constraints 33%

Engineering

• Safety Verification 100%
• Models 100%
• Accident Prevention 100%
• Human Driver 50%
• Obtains 50%
• Multimode 50%
• Demonstrates 50%
• Pure Mode 50%
• Cruise Control 50%
• Critical System 50%
• Hybrid Model 50%

Computer Science

• Safety Critical Systems 50%
• Automated Tool 50%
• Automaton 50%
• Formal Verification 50%
• Autonomous Vehicles 50%
• model checker 50%