HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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)
Copyright © 2012-2022 easychair.org. All rights reserved.