Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer. Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. In Anna Maria Bigatti, Martin Brain, editors, Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018. Volume 2189 of CEUR Workshop Proceedings, pages 95, CEUR-WS.org, 2018. [doi]
Abstract is missing.