{"id":"https://openalex.org/W4402724080","doi":"https://doi.org/10.1145/3652620.3687813","title":"Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles","display_name":"Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles","publication_year":2024,"publication_date":"2024-09-22","ids":{"openalex":"https://openalex.org/W4402724080","doi":"https://doi.org/10.1145/3652620.3687813"},"language":"en","primary_location":{"id":"doi:10.1145/3652620.3687813","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3652620.3687813","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3652620.3687813","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077624675","display_name":"Maksym Labzhaniia","orcid":"https://orcid.org/0000-0002-2666-3959"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210117840","display_name":"Institut de Biologie Valrose","ror":"https://ror.org/03bnma344","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I201841394","https://openalex.org/I4210096427","https://openalex.org/I4210117840"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Maksym Labzhaniia","raw_affiliation_strings":["Inria, CNRS, I3S, Kairos, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","UniCA - Universit\u00e9 C\u00f4te d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)"],"affiliations":[{"raw_affiliation_string":"Inria, CNRS, I3S, Kairos, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1326498283","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"UniCA - Universit\u00e9 C\u00f4te d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)","institution_ids":["https://openalex.org/I4210117840","https://openalex.org/I201841394"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022201782","display_name":"Julien Deantoni","orcid":"https://orcid.org/0000-0001-6962-7846"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210117840","display_name":"Institut de Biologie Valrose","ror":"https://ror.org/03bnma344","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I201841394","https://openalex.org/I4210096427","https://openalex.org/I4210117840"]},{"id":"https://openalex.org/I4390039363","display_name":"Infection et inflammation","ror":"https://ror.org/021sh3243","country_code":"FR","type":"facility","lineage":["https://openalex.org/I154526488","https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039363"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julien Deantoni","raw_affiliation_strings":["Inria, CNRS, I3S, Kairos, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","UniCA - Universit\u00e9 C\u00f4te d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)","KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)","Laboratoire I3S - COMRED - COMmunications, R\u00e9seaux, syst\u00e8mes Embarqu\u00e9s et Distribu\u00e9s (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)"],"affiliations":[{"raw_affiliation_string":"Inria, CNRS, I3S, Kairos, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1326498283","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"UniCA - Universit\u00e9 C\u00f4te d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)","institution_ids":["https://openalex.org/I4210117840","https://openalex.org/I201841394"]},{"raw_affiliation_string":"KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)","institution_ids":[]},{"raw_affiliation_string":"Laboratoire I3S - COMRED - COMmunications, R\u00e9seaux, syst\u00e8mes Embarqu\u00e9s et Distribu\u00e9s (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)","institution_ids":["https://openalex.org/I4390039363"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110253317","display_name":"Marie-Agn\u00e8s Peraldi-Frati","orcid":"https://orcid.org/0000-0002-0736-4398"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210106479","display_name":"Laboratoire d'Informatique, Signaux et Syst\u00e8mes de Sophia Antipolis","ror":"https://ror.org/01215r597","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106479","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I4210117840","display_name":"Institut de Biologie Valrose","ror":"https://ror.org/03bnma344","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I201841394","https://openalex.org/I4210096427","https://openalex.org/I4210117840"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marie-Agn\u00e8s Peraldi-Frati","raw_affiliation_strings":["Inria, CNRS, I3S, Kairos, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","UniCA - Universit\u00e9 C\u00f4te d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)","I3S - Laboratoire d'Informatique, Signaux, et Syst\u00e8mes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - b\u00e2t. Euclide B 06900 Sophia Antipolis - France)"],"affiliations":[{"raw_affiliation_string":"Inria, CNRS, I3S, Kairos, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1326498283","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"UniCA - Universit\u00e9 C\u00f4te d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)","institution_ids":["https://openalex.org/I4210117840","https://openalex.org/I201841394"]},{"raw_affiliation_string":"I3S - Laboratoire d'Informatique, Signaux, et Syst\u00e8mes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - b\u00e2t. Euclide B 06900 Sophia Antipolis - France)","institution_ids":["https://openalex.org/I4210106479"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090695840","display_name":"Fr\u00e9d\u00e9ric Mallet","orcid":"https://orcid.org/0000-0002-9088-9821"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210106479","display_name":"Laboratoire d'Informatique, Signaux et Syst\u00e8mes de Sophia Antipolis","ror":"https://ror.org/01215r597","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106479","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I4210117840","display_name":"Institut de Biologie Valrose","ror":"https://ror.org/03bnma344","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I201841394","https://openalex.org/I4210096427","https://openalex.org/I4210117840"]},{"id":"https://openalex.org/I4390039363","display_name":"Infection et inflammation","ror":"https://ror.org/021sh3243","country_code":"FR","type":"facility","lineage":["https://openalex.org/I154526488","https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039363"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Mallet","raw_affiliation_strings":["Inria, CNRS, I3S, Kairos, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","UniCA - Universit\u00e9 C\u00f4te d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)","I3S - Laboratoire d'Informatique, Signaux, et Syst\u00e8mes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - b\u00e2t. Euclide B 06900 Sophia Antipolis - France)","KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)","Laboratoire I3S - COMRED - COMmunications, R\u00e9seaux, syst\u00e8mes Embarqu\u00e9s et Distribu\u00e9s (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)"],"affiliations":[{"raw_affiliation_string":"Inria, CNRS, I3S, Kairos, Universit\u00e9 C\u00f4te d'Azur, Sophia Antipolis, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1326498283","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"UniCA - Universit\u00e9 C\u00f4te d'Azur (Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 - France)","institution_ids":["https://openalex.org/I4210117840","https://openalex.org/I201841394"]},{"raw_affiliation_string":"I3S - Laboratoire d'Informatique, Signaux, et Syst\u00e8mes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - b\u00e2t. Euclide B 06900 Sophia Antipolis - France)","institution_ids":["https://openalex.org/I4210106479"]},{"raw_affiliation_string":"KAIROS - Logical Time for Formal Embedded System Design (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)","institution_ids":[]},{"raw_affiliation_string":"Laboratoire I3S - COMRED - COMmunications, R\u00e9seaux, syst\u00e8mes Embarqu\u00e9s et Distribu\u00e9s (Laboratoire I3S\r\nCS 40121\r\n06903 Sophia Antipolis Cedex - France)","institution_ids":["https://openalex.org/I4390039363"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5077624675"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210117840"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16153681,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"700","last_page":"709"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6463939547538757},{"id":"https://openalex.org/keywords/vehicle-safety","display_name":"Vehicle safety","score":0.4779503345489502},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3364734947681427},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18315547704696655},{"id":"https://openalex.org/keywords/automotive-engineering","display_name":"Automotive engineering","score":0.1589713990688324}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6463939547538757},{"id":"https://openalex.org/C2986542766","wikidata":"https://www.wikidata.org/wiki/Q2090494","display_name":"Vehicle safety","level":2,"score":0.4779503345489502},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3364734947681427},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18315547704696655},{"id":"https://openalex.org/C171146098","wikidata":"https://www.wikidata.org/wiki/Q124192","display_name":"Automotive engineering","level":1,"score":0.1589713990688324}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3652620.3687813","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3652620.3687813","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-04695647v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04695647","pdf_url":"https://hal.science/hal-04695647v1/document","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"MODELS 2024 - 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. ⟨10.1145/3652620.3687813⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.1145/3652620.3687813","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3652620.3687813","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2659019386","display_name":null,"funder_award_id":"ANR-17-EURE-","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3692377274","display_name":null,"funder_award_id":"ANR-17-EURE-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4110391279","display_name":null,"funder_award_id":"project,","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5630019670","display_name":null,"funder_award_id":"ANR-17-EURE-000","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5764027818","display_name":null,"funder_award_id":"ANR-17-EUR","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6803667113","display_name":null,"funder_award_id":"ANR-17","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W220935706","https://openalex.org/W1895727713","https://openalex.org/W2556282465","https://openalex.org/W2963184890","https://openalex.org/W2963657083","https://openalex.org/W3024414633","https://openalex.org/W4225679458","https://openalex.org/W4251427757","https://openalex.org/W4297781990","https://openalex.org/W4382598024"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"With":[0],"the":[1,17,35,39,49,90,123,145,168,188,207,217,221],"increasing":[2],"prevalence":[3],"of":[4,21,34,42,51,84,125,161,167,241,247],"vehicle":[5,78,91,190],"driving":[6,154,210],"automation":[7],"systems":[8],"(henceforth":[9],"colloquially":[10],"referred":[11],"to":[12,37,47,109,130,135,148,181,191],"as":[13,237],"autonomous)":[14],"on":[15,62,115,198],"roads,":[16],"frequency":[18],"and":[19,100,251],"severity":[20],"accidents":[22],"involving":[23],"these":[24,230],"vehicles":[25,53,136],"have":[26],"exceeded":[27],"initially":[28],"anticipated.":[29],"It":[30],"heightens":[31],"global":[32],"awareness":[33],"need":[36],"enhance":[38],"safety":[40,50,60,71,95,231,244],"standards":[41],"autonomous":[43,52,242],"cars.":[44],"One":[45,141],"way":[46,222],"increase":[48],"in":[54,92,102,214],"this":[55,119,162,193],"regard":[56],"is":[57,156,172,185],"by":[58],"imposing":[59],"rules":[61,96],"them,":[63],"which":[64,105],"they":[65],"must":[66],"respect.":[67],"For":[68],"instance,":[69],"a":[70,82,126,138,152,177,225],"designer":[72],"could":[73],"require":[74],"that":[75,173,195],"\"the":[76],"ego":[77,189,208],"should":[79],"always":[80],"maintain":[81],"distance":[83],"at":[85],"least":[86],"4":[87],"seconds":[88],"from":[89],"front.\"":[93],"Such":[94],"often":[97],"mix":[98],"space":[99],"time":[101],"their":[103],"expression,":[104],"makes":[106],"them":[107],"challenging":[108],"check":[110],"via":[111],"classical":[112],"frameworks":[113],"based":[114,197],"temporal":[116],"logic.":[117],"In":[118],"paper,":[120],"we":[121],"propose":[122],"definition":[124],"formal":[127],"framework":[128,147,170,219],"dedicated":[129],"verifying":[131],"spatiotemporal":[132],"properties":[133,160],"related":[134],"within":[137,253],"road":[139],"network.":[140],"can":[142],"then":[143],"employ":[144],"designed":[146],"assess":[149],"offline":[150],"if":[151],"given":[153,176],"scenario":[155],"safe":[157,186],"concerning":[158],"specified":[159],"kind.":[163],"More":[164],"interestingly,":[165],"one":[166],"essential":[169],"features":[171],"it":[174,184,233],"allows,":[175],"current":[178],"traffic":[179,203],"configuration,":[180],"evaluate":[182],"whether":[183],"for":[187,223,228],"perform":[192],"or":[194],"action":[196],"projected":[199],"futures":[200],"under":[201],"some":[202],"hypotheses,":[204],"thus":[205],"safeguarding":[206],"vehicle's":[209],"policy.":[211],"While":[212],"still":[213],"its":[215],"infancy,":[216],"proposed":[218],"paves":[220],"defining":[224],"Domain-Specific":[226],"Language":[227],"specifying":[229],"rules;":[232],"may":[234],"consequently":[235],"serve":[236],"an":[238],"integral":[239],"part":[240],"vehicles'":[243],"assessment":[245],"process,":[246],"both":[248],"physical":[249],"ones":[250,252],"simulators.":[254]},"counts_by_year":[],"updated_date":"2026-04-14T08:04:32.555800","created_date":"2025-10-10T00:00:00"}