%0 Conference Paper %1 conf/scsquare/ScheiblerETWBB19 %A Scheibler, Karsten %A Eggers, Andreas %A Teige, Tino %A Walz, Marius %A Bienmüller, Tom %A Brockmeyer, Udo %B SC-square@SIAM AG %D 2019 %E Abbott, John %E Griggio, Alberto %I CEUR-WS.org %K dblp %T Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. %U http://dblp.uni-trier.de/db/conf/scsquare/scsquare2019.html#ScheiblerETWBB19 %V 2460

@inproceedings{conf/scsquare/ScheiblerETWBB19, added-at = {2023-08-18T00:00:00.000+0200}, author = {Scheibler, Karsten and Eggers, Andreas and Teige, Tino and Walz, Marius and Bienmüller, Tom and Brockmeyer, Udo}, biburl = {https://www.bibsonomy.org/bibtex/262b78a14ee5b736da6c8f94332d8a0d1/dblp}, booktitle = {SC-square@SIAM AG}, crossref = {conf/scsquare/2019}, editor = {Abbott, John and Griggio, Alberto}, ee = {http://ceur-ws.org/Vol-2460/paper2.pdf}, interhash = {94295cde899982f6f839492fcd2768eb}, intrahash = {62b78a14ee5b736da6c8f94332d8a0d1}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T10:20:23.000+0200}, title = {Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.}, url = {http://dblp.uni-trier.de/db/conf/scsquare/scsquare2019.html#ScheiblerETWBB19}, volume = 2460, year = 2019 }