HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Philipp Gassert

Publications
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)

Keyphrases

autonomous vehicles, collision avoidance, control theory.

Copyright © 2012-2025 easychair.org. All rights reserved.