%0 Conference Paper %1 conf/tacas/KonigHGKCHTKFH24 %A König, Lukas %A Heinzemann, Christian %A Griggio, Alberto %A Klauck, Michaela %A Cimatti, Alessandro %A Henze, Franziska %A Tonetta, Stefano %A Küperkoch, Stefan %A Fassbender, Dennis %A Hanselmann, Michael %B TACAS (2) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %P 44-65 %T Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html#KonigHGKCHTKFH24 %V 14571 %@ 978-3-031-57249-4

@inproceedings{conf/tacas/KonigHGKCHTKFH24, added-at = {2024-06-08T00:00:00.000+0200}, author = {König, Lukas and Heinzemann, Christian and Griggio, Alberto and Klauck, Michaela and Cimatti, Alessandro and Henze, Franziska and Tonetta, Stefano and Küperkoch, Stefan and Fassbender, Dennis and Hanselmann, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2771ad51139c9f4c157728b99a590400a/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2024-2}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57249-4_3}, interhash = {bedf33ecaff9e2a0d29b611ecf7dd1c0}, intrahash = {771ad51139c9f4c157728b99a590400a}, isbn = {978-3-031-57249-4}, keywords = {dblp}, pages = {44-65}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:42:14.000+0200}, title = {Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html#KonigHGKCHTKFH24}, volume = 14571, year = 2024 }