Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer. Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. In John Abbott, Alberto Griggio, editors, Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019. Volume 2460 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
Abstract is missing.