We propose a procedure to formally verify the safety of autonomous vehicles online, i.e., during operation, that considers the uniqueness of each traffic situation. A challenging aspect of online verification is the varying number of surrounding traffic participants, which causes significant variations in computational demand. To guarantee timely safe motion plans, we propose an anytime approach that provides rapid conservative verification results based on coarse model abstractions, which are refined continually if computation time is available. Reachability analysis, which over-approximates all possible behaviors of other traffic participants, is performed for each abstraction. We demonstrate the usefulness of the proposed procedure using the CommonRoad benchmark suite.
Anytime Safety Verification of Autonomous Vehicles
2018-11-01
411306 byte
Conference paper
Electronic Resource
English
Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers
Tema Archive | 2010
|Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers, pp. 1078-1083
British Library Conference Proceedings | 2010
|British Library Conference Proceedings | 1993
|