Keyword:collision avoidance

Papers
Verification of Collision Avoidance for CommonRoad Traffic Scenarios Niklas Kochdumper, Philipp Gassert and Matthias Althoff In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)