%0 Conference Paper %1 conf/memocode/HekmatnejadYDAS19 %A Hekmatnejad, Mohammad %A Yaghoubi, Shakiba %A Dokhanchi, Adel %A Amor, Heni Ben %A Shrivastava, Aviral %A Karam, Lina J. %A Fainekos, Georgios %B MEMOCODE %D 2019 %E Roop, Partha S. %E Zhan, Naijun %E Gao, Sicun %E Nuzzo, Pierluigi %I ACM %K dblp %P 6:1-6:11 %T Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2019.html#HekmatnejadYDAS19 %@ 978-1-4503-6997-8

@inproceedings{conf/memocode/HekmatnejadYDAS19, added-at = {2019-12-02T00:00:00.000+0100}, author = {Hekmatnejad, Mohammad and Yaghoubi, Shakiba and Dokhanchi, Adel and Amor, Heni Ben and Shrivastava, Aviral and Karam, Lina J. and Fainekos, Georgios}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/281a247f9f030ad46b8f18341cca42fa9/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2019}, editor = {Roop, Partha S. and Zhan, Naijun and Gao, Sicun and Nuzzo, Pierluigi}, ee = {https://doi.org/10.1145/3359986.3361203}, interhash = {f41de1df92413ecdb0f7f84f65f9b282}, intrahash = {81a247f9f030ad46b8f18341cca42fa9}, isbn = {978-1-4503-6997-8}, keywords = {dblp}, pages = {6:1-6:11}, publisher = {ACM}, timestamp = {2019-12-11T13:10:37.000+0100}, title = {Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2019.html#HekmatnejadYDAS19}, year = 2019 }