%0 Conference Paper %1 conf/icra/KrookSLFF19 %A Krook, Jonas %A Svensson, Lars J. %A Li, Yuchao %A Feng, Lei %A Fabian, Martin %B ICRA %D 2019 %I IEEE %K dblp %P 5607-5613 %T Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*. %U http://dblp.uni-trier.de/db/conf/icra/icra2019.html#KrookSLFF19 %@ 978-1-5386-6027-0

@inproceedings{conf/icra/KrookSLFF19, added-at = {2022-04-09T00:00:00.000+0200}, author = {Krook, Jonas and Svensson, Lars J. and Li, Yuchao and Feng, Lei and Fabian, Martin}, biburl = {https://www.bibsonomy.org/bibtex/25adde7ff82cd3cdf9abb9ad89f2cda9f/dblp}, booktitle = {ICRA}, crossref = {conf/icra/2019}, ee = {https://doi.org/10.1109/ICRA.2019.8793636}, interhash = {946370f373f66c3df855ad8cc02890c6}, intrahash = {5adde7ff82cd3cdf9abb9ad89f2cda9f}, isbn = {978-1-5386-6027-0}, keywords = {dblp}, pages = {5607-5613}, publisher = {IEEE}, timestamp = {2024-04-10T08:11:25.000+0200}, title = {Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*.}, url = {http://dblp.uni-trier.de/db/conf/icra/icra2019.html#KrookSLFF19}, year = 2019 }