@InProceedings{dedinsky_et_al:OASIcs.ASD.2019.7, author = {Dedinsky, Rachel and Khayatian, Mohammad and Mehrabian, Mohammadreza and Shrivastava, Aviral}, title = {{A Dependable Detection Mechanism for Intersection Management of Connected Autonomous Vehicles}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, pages = {7:1--7:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.7}, URN = {urn:nbn:de:0030-drops-103408}, doi = {10.4230/OASIcs.ASD.2019.7}, annote = {Keywords: Connected Autonomous Vehicles, Intersection Management, Dependable Systems} }