{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:03:34Z","timestamp":1779087814624,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T00:00:00Z","timestamp":1712534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJER1603"],"award-info":[{"award-number":["JPMJER1603"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJST2213"],"award-info":[{"award-number":["JPMJST2213"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJCR2012"],"award-info":[{"award-number":["JPMJCR2012"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,8]]},"DOI":"10.1145\/3605098.3636014","type":"proceedings-article","created":{"date-parts":[[2024,5,21]],"date-time":"2024-05-21T17:59:16Z","timestamp":1716314356000},"page":"186-195","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-3288-8726","authenticated-orcid":false,"given":"Jesse","family":"Reimann","sequence":"first","affiliation":[{"name":"TU Delft, Delft, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-4403-9380","authenticated-orcid":false,"given":"Nico","family":"Mansion","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0692-4089","authenticated-orcid":false,"given":"James","family":"Haydon","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-4256-8820","authenticated-orcid":false,"given":"Benjamin","family":"Bray","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0462-8080","authenticated-orcid":false,"given":"Agnishom","family":"Chattopadhyay","sequence":"additional","affiliation":[{"name":"Rice University, Houston, Texas, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7147-3989","authenticated-orcid":false,"given":"Sota","family":"Sato","sequence":"additional","affiliation":[{"name":"NII & SOKENDAI, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9360-7490","authenticated-orcid":false,"given":"Masaki","family":"Waga","sequence":"additional","affiliation":[{"name":"Kyoto University & NII, Kyoto, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8473-9555","authenticated-orcid":false,"given":"\u00c9tienne","family":"Andr\u00e9","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Sorbonne Paris Nord, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8300-4650","authenticated-orcid":false,"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[{"name":"NII & SOKENDAI, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-5371-396X","authenticated-orcid":false,"given":"Naoki","family":"Ueda","sequence":"additional","affiliation":[{"name":"Mitsubishi Electric Corporation, Kamakura, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-7569-6973","authenticated-orcid":false,"given":"Yosuke","family":"Yokoyama","sequence":"additional","affiliation":[{"name":"Mitsubishi Electric Corporation, Kamakura, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In TACAS","volume":"6605","author":"Annpureddy Y.","year":"2011","unstructured":"Y. Annpureddy, C. Liu, G. Fainekos, and S. Sankaranarayanan. 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In TACAS 2011, Vol. 6605. Springer, 254--257."},{"key":"e_1_3_2_1_2_1","volume-title":"Principles of Model Checking","author":"Baier C.","unstructured":"C.Baier and J.-P. Katoen. 2008. Principles of Model Checking. The MIT Press."},{"key":"e_1_3_2_1_3_1","volume-title":"Lanelets: Efficient map representation for autonomous driving. In IV","author":"Bender P.","year":"2014","unstructured":"P. Bender, J. Ziegler, and C. Stiller. 2014. Lanelets: Efficient map representation for autonomous driving. In IV 2014. 420--425."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.01.012"},{"key":"e_1_3_2_1_5_1","volume-title":"CAV","author":"Donz\u00e9 A.","year":"2010","unstructured":"A. Donz\u00e9. 2010. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. In CAV 2010, Vol. 6174. Springer, 167--170."},{"key":"e_1_3_2_1_6_1","volume-title":"Formalizing Traffic Rules for Machine Interpretability. In CAVS","author":"Esterle K.","year":"2020","unstructured":"K. Esterle, L. Gressenbuch, and A. Knoll. 2020. Formalizing Traffic Rules for Machine Interpretability. In CAVS 2020. IEEE, 1--7."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_8_1","volume-title":"for Europe Inland Transport Committee","author":"E.","year":"2019","unstructured":"E. C. for Europe Inland Transport Committee. 2019. Framework document on automated\/autonomous vehicles. Technical Report ECE\/TRANS\/WP.29\/2019\/34\/Rev.2. World Forum for Harmonization of Vehicle Regulations."},{"key":"e_1_3_2_1_9_1","volume-title":"Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization. CoRR abs\/2206.03418","author":"Hasuo I.","year":"2022","unstructured":"I. Hasuo. 2022. Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization. CoRR abs\/2206.03418 (2022). arXiv:2206.03418"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3169762"},{"key":"e_1_3_2_1_11_1","volume-title":"Encoding and Monitoring Responsibility Sensitive Safety Rules for Automated Vehicles in Signal Temporal Logic. In MEMOCODE 2019","author":"Hekmatnejad M.","unstructured":"M. Hekmatnejad, S. Yaghoubi, A. Dokhanchi, H. B. Amor, A. Shrivastava, L. Karam, and G. Fainekos. 2019. Encoding and Monitoring Responsibility Sensitive Safety Rules for Automated Vehicles in Signal Temporal Logic. In MEMOCODE 2019 (La Jolla, California). ACM, New York, NY, USA, Article 6, 11 pages."},{"key":"e_1_3_2_1_12_1","volume-title":"Road vehicles --- Test scenarios for automated driving systems --- Scenario based safety evaluation framework. Standard","author":"ISO","unstructured":"ISO 34502:2022(E) 2022. Road vehicles --- Test scenarios for automated driving systems --- Scenario based safety evaluation framework. Standard. International Organization for Standardization, Geneva, CH."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"H. K\u00f6nigshof F. Oboril K. Scholl and C. Stiller. 2022. A Parameter Analysis on RSS in Overtaking Situations on German Highways. In IV 2022. IEEE 1081--1086.","DOI":"10.1109\/IV51971.2022.9827086"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_15_1","volume-title":"ITSC","author":"Krajewski R.","year":"2018","unstructured":"R. Krajewski, J. Bock, L. Kloeker, and L. Eckstein. 2018. The highD Dataset: A Drone Dataset of Naturalistic Vehicle Trajectories on German Highways for Validation of Highly Automated Driving Systems. In ITSC 2018. 2118--2125."},{"key":"e_1_3_2_1_16_1","volume-title":"Temporal Logic Formalization of Marine Traffic Rules. In IV","author":"Krasowski H.","year":"2021","unstructured":"H. Krasowski and M. Althoff. 2021. Temporal Logic Formalization of Marine Traffic Rules. In IV 2021. IEEE, 186--192."},{"key":"e_1_3_2_1_17_1","volume-title":"Formalization of Intersection Traffic Rules in Temporal Logic. In IV","author":"Maierhofer S.","year":"2022","unstructured":"S. Maierhofer, P. Moosbrugger, and M. Althoff. 2022. Formalization of Intersection Traffic Rules in Temporal Logic. In IV 2022. IEEE, 1135--1144."},{"key":"e_1_3_2_1_18_1","volume-title":"Formalization of Interstate Traffic Rules in Temporal Logic. In IV","author":"Maierhofer S.","year":"2020","unstructured":"S. Maierhofer, A.-K. Rettinger, E. C. Mayer, and M. Althoff. 2020. Formalization of Interstate Traffic Rules in Temporal Logic. In IV 2020. IEEE, 752--759."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"O. Maler and D. Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems. Springer Berlin Heidelberg Berlin Heidelberg 152--166.","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3268703"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"D. Nali\u0107 T. Mihalj M. Baeumler M. Lehmann A. Eichberger and S. Bernsteiner. 2020. Scenario Based Testing of Automated Driving Systems: A Literature Survey.","DOI":"10.46720\/f2020-acm-096"},{"key":"e_1_3_2_1_22_1","unstructured":"J.-P. Paardekooper S. van Montfort J. Manders J. M. Goos E. de Gelder O. O. den Camp O. Bracquemond and G. Thiolon. 2019. Automatic Identification of Critical Scenarios in a Public Dataset of 6000 km of Public-Road Driving."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_24_1","volume-title":"Informedness, Markedness & Correlation. Mach. Learn. Technol. 2 (01","author":"Powers D.","year":"2008","unstructured":"D. Powers. 2008. Evaluation: From Precision, Recall and F-Factor to ROC, Informedness, Markedness & Correlation. Mach. Learn. Technol. 2 (01 2008)."},{"key":"e_1_3_2_1_25_1","volume-title":"Critical Scenarios: Modular Construction with the RSS Safety Distance.","author":"Reimann J.","year":"2023","unstructured":"J. Reimann, N. Mansion, J. Haydon, B. Bray, A. Chattopadhyay, S. Sato, M. Waga, E. Andr\u00e9, I. Hasuo, N. Ueda, and Y. Yokoyama. 2023. Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. (2023). Extended version with appendices, available on arXiv."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"P. Schneider M. Butz C. Heinzemann J. Oehlerking and M. Woehrle. 2020. Scenario-based threat metric evaluation based on the highd dataset. In IV 2020. IEEE 213--218.","DOI":"10.1109\/IV47402.2020.9304726"},{"key":"e_1_3_2_1_27_1","unstructured":"A. D. S. Sectional Committee of AD Safety Evaluation. 2022. Automated Driving Safety Evaluation Framework Ver. 3.0 Guidelines for Safety Evaluation of Automated Driving Technology."},{"key":"e_1_3_2_1_28_1","unstructured":"S. Shalev-Shwartz S. Shammah and A. Shashua. 2018. On a formal model of safe and scalable self-driving cars."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-022-09604-2"},{"key":"e_1_3_2_1_31_1","volume-title":"Overcoming Challenges of Validation Automated Driving and Identification of Critical Scenarios. In ITSC","author":"Wang C.","year":"2019","unstructured":"C. Wang and H. Winner. 2019. Overcoming Challenges of Validation Automated Driving and Identification of Critical Scenarios. In ITSC 2019. 2639--2644."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858463"},{"key":"e_1_3_2_1_33_1","volume-title":"Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. In CAV","volume":"11561","author":"Zhang Z.","year":"2019","unstructured":"Z. Zhang, I. Hasuo, and P. Arcaini. 2019. Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. In CAV 2019, Vol. 11561. Springer, 401--420."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3154415"}],"event":{"name":"SAC '24: 39th ACM\/SIGAPP Symposium on Applied Computing","location":"Avila Spain","acronym":"SAC '24","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 39th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636014","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3605098.3636014","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3605098.3636014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:59Z","timestamp":1750291439000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,8]]},"references-count":33,"alternative-id":["10.1145\/3605098.3636014","10.1145\/3605098"],"URL":"https:\/\/doi.org\/10.1145\/3605098.3636014","relation":{},"subject":[],"published":{"date-parts":[[2024,4,8]]},"assertion":[{"value":"2024-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}