{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T04:09:15Z","timestamp":1781064555435,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T00:00:00Z","timestamp":1570579200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1350420"],"award-info":[{"award-number":["1350420"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,9]]},"DOI":"10.1145\/3359986.3361203","type":"proceedings-article","created":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T12:21:06Z","timestamp":1570450866000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":60,"title":["Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic"],"prefix":"10.1145","author":[{"given":"Mohammad","family":"Hekmatnejad","sequence":"first","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shakiba","family":"Yaghoubi","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adel","family":"Dokhanchi","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Heni Ben","family":"Amor","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aviral","family":"Shrivastava","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lina","family":"Karam","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"e_1_3_2_1_2_1","volume-title":"Self-driving car crash in Arizona: Red light runner hits Waymo van. ABC15 Arizona (5","year":"2018","unstructured":"abc15.com staff. 2018. Self-driving car crash in Arizona: Red light runner hits Waymo van. ABC15 Arizona (5 2018)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"e_1_3_2_1_4_1","volume-title":"Specifying Safety of Autonomous Vehicles in Signal Temporal Logic. In IEEE Intelligent Vehicles Symposium (IV). 58--63","author":"Arechiga Nikos","year":"2019","unstructured":"Nikos Arechiga. 2019. Specifying Safety of Autonomous Vehicles in Signal Temporal Logic. In IEEE Intelligent Vehicles Symposium (IV). 58--63."},{"key":"e_1_3_2_1_5_1","volume-title":"Lectures on Runtime Verification. LNCS","author":"Bartocci Ezio","unstructured":"Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donz\u00e9, Georgios Fainekos, Oded Maler, Dejan Nickovic, and Sriram Sankaranarayanan. 2018. Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. In Lectures on Runtime Verification. LNCS, Vol. 10457. Springer, 128--168."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858464"},{"key":"e_1_3_2_1_7_1","volume-title":"Google's Self-Driving Car Caused Its First Crash. Wired (2","author":"Davies Alex","year":"2016","unstructured":"Alex Davies. 2016. Google's Self-Driving Car Caused Its First Crash. Wired (2 2016)."},{"key":"e_1_3_2_1_8_1","volume-title":"Runtime Verification (LNCS)","author":"Dokhanchi Adel","unstructured":"Adel Dokhanchi, Bardh Hoxha, and Georgios Fainekos. 2014. On-Line Monitoring for Temporal Logic Robustness. In Runtime Verification (LNCS), Vol. 8734. Springer, 231--246."},{"key":"e_1_3_2_1_9_1","volume-title":"Seshia","author":"Dreossi Tommaso","year":"2018","unstructured":"Tommaso Dreossi, Alexandre Donze, and Sanjit A. Seshia. 2018. Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. arXiv:1703.00978v3 (2018)."},{"key":"e_1_3_2_1_10_1","volume-title":"Combining speed and acceleration to define car users safe or unsafe driving behaviour. Transportation research part C: emerging technologies 68","author":"Eboli Laura","year":"2016","unstructured":"Laura Eboli, Gabriella Mazzulla, and Giuseppe Pungillo. 2016. Combining speed and acceleration to define car users safe or unsafe driving behaviour. Transportation research part C: emerging technologies 68 (2016), 113--125."},{"key":"e_1_3_2_1_11_1","volume-title":"Pappas","author":"Fainekos Georgios E.","year":"2006","unstructured":"Georgios E. Fainekos and George J. Pappas. 2006. Robustness of Temporal Logic Specifications. In Formal Approaches to Testing and Runtime Verification (LNCS), Vol. 4262. Springer, 178--192."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315384"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311800"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340489"},{"key":"e_1_3_2_1_15_1","unstructured":"Markus Koschi Stefanie Manzinger and Matthias Althoff. [n. d.]. CommonRoad: Documentation of the XML Format. ([n. d.])."},{"key":"e_1_3_2_1_16_1","volume-title":"Report: Software bug led to death in Uber\u00e2\u0102Źs self-driving crash. Ars Technica (5","author":"Lee Timothy B.","year":"2018","unstructured":"Timothy B. Lee. 2018. Report: Software bug led to death in Uber\u00e2\u0102Źs self-driving crash. Ars Technica (5 2018)."},{"key":"e_1_3_2_1_17_1","volume-title":"Formal Methods (LNCS)","author":"Loos Sarah M.","unstructured":"Sarah M. Loos, Andre Platzer, and Ligia Nistor. 2011. Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. In Formal Methods (LNCS), Vol. 6664. Springer, 42--56."},{"key":"e_1_3_2_1_18_1","first-page":"152","article-title":"Monitoring Temporal Properties of Continuous Signals","volume":"3253","author":"Maler Oded","year":"2004","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In Proceedings of FORMATS-FTRTFT (LNCS), Vol. 3253. 152--166.","journal-title":"Proceedings of FORMATS-FTRTFT (LNCS)"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126510"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0241-z"},{"key":"e_1_3_2_1_21_1","volume-title":"2017-2018 Nissan Rogue Automatic Emergency Braking Presents 'Unreasonable Risk,' Safety Group Says. Forbes (3","author":"Mohn Tanya","year":"2019","unstructured":"Tanya Mohn. 2019. 2017-2018 Nissan Rogue Automatic Emergency Braking Presents 'Unreasonable Risk,' Safety Group Says. Forbes (3 2019)."},{"key":"e_1_3_2_1_22_1","unstructured":"National Highway Traffic Safety Administration (NHTSA). [n. d.]. Automated Vehicles for Safety. https:\/\/www.nhtsa.gov\/technology-innovation\/automated-vehicles-safety"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Matthew O'Kelly Houssam Abbas and Rahul Mangharam. 2017. Computer-Aided Design for Safe Autonomous Vehicles. In Resilience Week.","DOI":"10.1109\/RWEEK.2017.8088654"},{"key":"e_1_3_2_1_24_1","volume-title":"Self-driving vehicle verification towards a benchmark. arXiv preprint arXiv:1806.08810","author":"Roohi Nima","year":"2018","unstructured":"Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, and Insup Lee. 2018. Self-driving vehicle verification towards a benchmark. arXiv preprint arXiv:1806.08810 (2018)."},{"key":"e_1_3_2_1_25_1","unstructured":"S-TaLiRo Tools. [n. d.]. https:\/\/sites.google.com\/a\/asu.edu\/s-taliro\/."},{"key":"e_1_3_2_1_26_1","article-title":"Generalized Distance Functions in the Theory of","volume":"53","author":"Seda Anthony Karel","year":"2008","unstructured":"Anthony Karel Seda and Pascal Hitzler. 2008. Generalized Distance Functions in the Theory of Computation. Comput. J. 53, 4 (2008), bxm108443--464.","journal-title":"Computation. Comput. J."},{"key":"e_1_3_2_1_27_1","volume-title":"On a formal model of safe and scalable self-driving cars. arXiv:1708.06374v6","author":"Shalev-Shwartz Shai","year":"2018","unstructured":"Shai Shalev-Shwartz, Shaked Shammah, and Amnon Shashua. 2018. On a formal model of safe and scalable self-driving cars. arXiv:1708.06374v6 (2018)."},{"key":"e_1_3_2_1_28_1","volume-title":"Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. In IEEE Intelligent Vehicles Symposium (IV).","author":"Tuncali Cumhur Erkan","year":"2018","unstructured":"Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, and James Kapinski. 2018. Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. In IEEE Intelligent Vehicles Symposium (IV)."},{"key":"e_1_3_2_1_29_1","volume-title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components. arXiv","author":"Tuncali Cumhur Erkan","year":"1908","unstructured":"Cumhur Erkan Tuncali, Georgios Fainekos, Danil Prokhorov, Hisahiro Ito, and James Kapinski. 2019. Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components. arXiv 1908.01094 (2019)."},{"key":"e_1_3_2_1_30_1","volume-title":"Southwest China. Discrete Dynamics in nature and Society 2015","author":"Xu Jin","year":"2015","unstructured":"Jin Xu, Kui Yang, YiMing Shao, and GongYuan Lu. 2015. An experimental study on lateral acceleration of cars in different environments in Sichuan, Southwest China. Discrete Dynamics in nature and Society 2015 (2015)."}],"event":{"name":"MEMOCODE '19: 17th ACM-IEEE International Conference on Formal Methods and Models for System Design","location":"La Jolla California","acronym":"MEMOCODE '19","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361203","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359986.3361203","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359986.3361203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:27Z","timestamp":1750202007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361203"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,9]]},"references-count":30,"alternative-id":["10.1145\/3359986.3361203","10.1145\/3359986"],"URL":"https:\/\/doi.org\/10.1145\/3359986.3361203","relation":{},"subject":[],"published":{"date-parts":[[2019,10,9]]},"assertion":[{"value":"2019-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}