%0 Conference Paper %1 conf/ivs/Arechiga19 %A Aréchiga, Nikos %B IV %D 2019 %I IEEE %K dblp %P 58-63 %T Specifying Safety of Autonomous Vehicles in Signal Temporal Logic. %U http://dblp.uni-trier.de/db/conf/ivs/ivs2019.html#Arechiga19 %@ 978-1-7281-0560-4

@inproceedings{conf/ivs/Arechiga19, added-at = {2019-09-05T00:00:00.000+0200}, author = {Aréchiga, Nikos}, biburl = {https://www.bibsonomy.org/bibtex/2d4b0fd54be6da9ea11b60a72bb783cb0/dblp}, booktitle = {IV}, crossref = {conf/ivs/2019}, ee = {https://doi.org/10.1109/IVS.2019.8813875}, interhash = {0e0e7330c875092e43c3b694f8564f51}, intrahash = {d4b0fd54be6da9ea11b60a72bb783cb0}, isbn = {978-1-7281-0560-4}, keywords = {dblp}, pages = {58-63}, publisher = {IEEE}, timestamp = {2019-10-17T13:19:41.000+0200}, title = {Specifying Safety of Autonomous Vehicles in Signal Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/ivs/ivs2019.html#Arechiga19}, year = 2019 }