CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous Vehicles
Andreas Nonnengart; Matthias Klusch; Christian Müller
In: Proceedings of International Workshop on Formal Methods for Autonomous Systems. International Workshop on Formal Methods for Autonomous Systems (FMAS-2019), located at 3rd World Congress on Formal Methods, October 7-11, Porto, Portugal, Springer, 2019.