{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T07:12:55Z","timestamp":1763536375344,"version":"3.40.2"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,9,24]],"date-time":"2024-09-24T00:00:00Z","timestamp":1727136000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,9,24]],"date-time":"2024-09-24T00:00:00Z","timestamp":1727136000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,9,24]]},"DOI":"10.1109\/itsc58415.2024.10919488","type":"proceedings-article","created":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T19:00:11Z","timestamp":1742583611000},"page":"2679-2686","source":"Crossref","is-referenced-by-count":2,"title":["Formalizing Vocabulary for Scenario-Based Testing of Automated Driving Systems: From Semantics to Mathematics"],"prefix":"10.1109","author":[{"given":"Kevin Tom","family":"Kurian","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nishant","family":"Rajesh","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erjen","family":"Lefeber","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeroen","family":"Ploeg","sequence":"additional","affiliation":[{"name":"Siemens Digital Industries Software B.V."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathan","family":"Van De Wouw","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igo","family":"Besselink","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohsen","family":"Alirezaei","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3403\/30443080"},{"key":"ref2","article-title":"ISO 21448: Road vehicles - Safety of the intended functionality","volume-title":"Int. Org. for Standardization, Geneva, Standard","year":"2022"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4271\/j3016_201806"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2993730"},{"key":"ref5","volume-title":"Sunrise Project - Developing and providing a harmonized and scalable CCAM Safety Assurance Framework","year":"2023"},{"key":"ref6","volume-title":"Pegasus Research Project - Securing Automated Driving Effectively","year":"2023"},{"key":"ref7","volume-title":"SAKURA","year":"2023"},{"key":"ref8","volume-title":"Safety Pool - Powered by Deepen AI and WMG University of Warwick","year":"2023"},{"key":"ref9","article-title":"StreetWise: scenario-based safety validation of connected and automated driving","author":"Elrofai","year":"2018","journal-title":"TNO, Helmond, Tech. Rep."},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IV55156.2024.10588428"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3144803"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827097"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2953-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SMC53654.2022.9945564"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500406"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3053159"},{"key":"ref17","article-title":"ISO 34501: Road vehicles - Test scenarios for automated driving systems - Vocabulary","volume-title":"Int. Org. for Standardization, Geneva, Standard","year":"2022"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.164"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2016.7535534"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1049\/iet-its.2012.0188"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2017.8317919"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3072739"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.4271\/12-02-04-0015"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2020.3031981"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1155\/2022\/8655514"},{"key":"ref26","volume-title":"OpenSCENARIO XML v1.3.0","year":"2022"},{"key":"ref27","first-page":"1","article-title":"Scenic: a language for scenario specification and data generation","volume":"112","author":"Fremont","year":"2022","journal-title":"Machine Learning"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8814107"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2019.8836912"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SMC42975.2020.9283417"},{"key":"ref32","volume-title":"OpenSCENARIO DSL v2.1.0","year":"2023"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.3390\/machines9120342"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8814099"},{"key":"ref35","first-page":"65","article-title":"Translating automated vehicle test scenario specifications between scenario languages: Learnings and challenges","volume-title":"Proc. of the Driving Simulation Conf. 2022 Europe VR","author":"Da Costa","year":"2022"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2007.906923"}],"event":{"name":"2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC)","location":"Edmonton, AB, Canada","start":{"date-parts":[[2024,9,24]]},"end":{"date-parts":[[2024,9,27]]}},"container-title":["2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10919469\/10919190\/10919488.pdf?arnumber=10919488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:54:48Z","timestamp":1742590488000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10919488\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,24]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/itsc58415.2024.10919488","relation":{},"subject":[],"published":{"date-parts":[[2024,9,24]]}}}