%0 Conference Paper %1 conf/atva/RizaldiISA18 %A Rizaldi, Albert %A Immler, Fabian %A Schürmann, Bastian %A Althoff, Matthias %B ATVA %D 2018 %E Lahiri, Shuvendu K. %E Wang, Chao %I Springer %K dblp %P 75-90 %T A Formally Verified Motion Planner for Autonomous Vehicles. %U http://dblp.uni-trier.de/db/conf/atva/atva2018.html#RizaldiISA18 %V 11138 %@ 978-3-030-01090-4

@inproceedings{conf/atva/RizaldiISA18, added-at = {2018-10-01T00:00:00.000+0200}, author = {Rizaldi, Albert and Immler, Fabian and Schürmann, Bastian and Althoff, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2c5268b4b4331bf28d4ddc6403b60db8f/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2018}, editor = {Lahiri, Shuvendu K. and Wang, Chao}, ee = {https://doi.org/10.1007/978-3-030-01090-4_5}, interhash = {ff716684b58f31ab3efa2fa85928ef7a}, intrahash = {c5268b4b4331bf28d4ddc6403b60db8f}, isbn = {978-3-030-01090-4}, keywords = {dblp}, pages = {75-90}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:44.000+0200}, title = {A Formally Verified Motion Planner for Autonomous Vehicles.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2018.html#RizaldiISA18}, volume = 11138, year = 2018 }