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]
@inproceedings{EggersSTBB18,
title = {Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving},
author = {Andreas Eggers and Matthias Stasch and Tino Teige and Tom Bienmüller and Udo Brockmeyer},
year = {2018},
url = {http://ceur-ws.org/Vol-2189/paper1.pdf},
researchr = {https://researchr.org/publication/EggersSTBB18},
cites = {0},
citedby = {0},
pages = {95},
booktitle = {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},
editor = {Anna Maria Bigatti and Martin Brain},
volume = {2189},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}