{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T16:27:09Z","timestamp":1783096029997,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T00:00:00Z","timestamp":1593043200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100009024","name":"Exploratory Research for Advanced Technology","doi-asserted-by":"publisher","award":["JPMJER1603"],"award-info":[{"award-number":["JPMJER1603"]}],"id":[{"id":"10.13039\/501100009024","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Norges Forskningsr\u00e5d","award":["286898\/F20"],"award-info":[{"award-number":["286898\/F20"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,25]]},"DOI":"10.1145\/3377930.3389827","type":"proceedings-article","created":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T19:29:12Z","timestamp":1593458952000},"page":"1055-1063","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems"],"prefix":"10.1145","author":[{"given":"Alessandro","family":"Cal\u00f2","sequence":"first","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Arcaini","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory, Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Florian","family":"Hauer","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fuyuki","family":"Ishikawa","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,26]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500374"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2042243.2042252"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2017.8317768"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970311"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180160"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238192"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889212"},{"key":"e_1_3_2_2_10_1","volume-title":"Proceedings of the International Conference on Computer, Communication and Control Technologies (CCCT) and the 9th. International Conference on Information Systems Analysis and Synthesis (ISAS).","author":"B\u00fchler Oliver","year":"2003","unstructured":"Oliver B\u00fchler and Joachim Wegener . 2003 . Evolutionary functional testing of an automated parking system . In Proceedings of the International Conference on Computer, Communication and Control Technologies (CCCT) and the 9th. International Conference on Information Systems Analysis and Synthesis (ISAS). Oliver B\u00fchler and Joachim Wegener. 2003. Evolutionary functional testing of an automated parking system. In Proceedings of the International Conference on Computer, Communication and Control Technologies (CCCT) and the 9th. International Conference on Information Systems Analysis and Synthesis (ISAS)."},{"key":"e_1_3_2_2_11_1","volume-title":"6th Metaheuristics International Conference","author":"B\u00fchler Oliver","year":"2005","unstructured":"Oliver B\u00fchler and Joachim Wegener . 2005 . Evolutionary functional testing of a vehicle brake assistant system . In 6th Metaheuristics International Conference , Vienna, Austria. Oliver B\u00fchler and Joachim Wegener. 2005. Evolutionary functional testing of a vehicle brake assistant system. In 6th Metaheuristics International Conference, Vienna, Austria."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2007.01.015"},{"key":"e_1_3_2_2_13_1","volume-title":"Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. In 2020 IEEE International Conference on Software Testing, Verification and Validation (ICST). Preprint","author":"Cal\u00f2 Alessandro","year":"2020","unstructured":"Alessandro Cal\u00f2 , Paolo Arcaini , Shaukat Ali , Florian Hauer , and Fuyuki Ishikawa . 2020 . Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. In 2020 IEEE International Conference on Software Testing, Verification and Validation (ICST). Preprint available at https:\/\/icst2020.info\/details\/icst-2020-Industry\/5\/Generating-Avoidable-Collision-Scenarios-for-Testing-Autonomous-Driving-Systems. Alessandro Cal\u00f2, Paolo Arcaini, Shaukat Ali, Florian Hauer, and Fuyuki Ishikawa. 2020. Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. In 2020 IEEE International Conference on Software Testing, Verification and Validation (ICST). Preprint available at https:\/\/icst2020.info\/details\/icst-2020-Industry\/5\/Generating-Avoidable-Collision-Scenarios-for-Testing-Autonomous-Driving-Systems."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2011.05.014"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00013"},{"key":"e_1_3_2_2_17_1","volume-title":"Fitness Functions for Testing Automated and Autonomous Driving Systems. In International Conference on Computer Safety, Reliability, and Security. Springer, 69--84","author":"Hauer Florian","year":"2019","unstructured":"Florian Hauer , Alexander Pretschner , and Bernd Holzm\u00fcller . 2019 . Fitness Functions for Testing Automated and Autonomous Driving Systems. In International Conference on Computer Safety, Reliability, and Security. Springer, 69--84 . Florian Hauer, Alexander Pretschner, and Bernd Holzm\u00fcller. 2019. Fitness Functions for Testing Automated and Autonomous Driving Systems. In International Conference on Computer Safety, Reliability, and Security. Springer, 69--84."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC48747.2019.00022"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387939.3391606"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768462"},{"key":"e_1_3_2_2_22_1","volume-title":"d.]. The Safety Force Field. online at https:\/\/www.nvidia.com\/content\/dam\/en-zz\/Solutions\/self-driving-cars\/safety-force-field\/the-safety-force-field.pdf, retrieved 9th","author":"Nister David","year":"2019","unstructured":"David Nister , Hon-Leung Lee , Julia Ng , and Yizhou Wang . [n. d.]. The Safety Force Field. online at https:\/\/www.nvidia.com\/content\/dam\/en-zz\/Solutions\/self-driving-cars\/safety-force-field\/the-safety-force-field.pdf, retrieved 9th September 2019 . ([n. d.]). David Nister, Hon-Leung Lee, Julia Ng, and Yizhou Wang. [n. d.]. The Safety Force Field. online at https:\/\/www.nvidia.com\/content\/dam\/en-zz\/Solutions\/self-driving-cars\/safety-force-field\/the-safety-force-field.pdf, retrieved 9th September 2019. ([n. d.])."},{"key":"e_1_3_2_2_23_1","volume-title":"Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle\/HOL","author":"Rizaldi Albert","unstructured":"Albert Rizaldi , Jonas Keinholz , Monika Huber , Jochen Feldle , Fabian Immler , Matthias Althoff , Eric Hilgendorf , and Tobias Nipkow . 2017. Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle\/HOL . In Integrated Formal Methods, Nadia Polikarpova and Steve Schneider (Eds.). Springer International Publishing , Cham , 50--66. Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, and Tobias Nipkow. 2017. Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle\/HOL. In Integrated Formal Methods, Nadia Polikarpova and Steve Schneider (Eds.). Springer International Publishing, Cham, 50--66."},{"key":"e_1_3_2_2_24_1","volume-title":"SAE International Standard","author":"SAE.","year":"2014","unstructured":"SAE. 2014. Definitions for Terms Related to On-Road Motor Vehicle Automated Driving Systems. J3016 , SAE International Standard ( 2014 ). SAE. 2014. Definitions for Terms Related to On-Road Motor Vehicle Automated Driving Systems. J3016, SAE International Standard (2014)."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAISE.2013.6615200"},{"key":"e_1_3_2_2_26_1","volume-title":"On a Formal Model of Safe and Scalable Self-driving Cars. CoRR abs\/1708.06374","author":"Shalev-Shwartz Shai","year":"2017","unstructured":"Shai Shalev-Shwartz , Shaked Shammah , and Amnon Shashua . 2017. On a Formal Model of Safe and Scalable Self-driving Cars. CoRR abs\/1708.06374 ( 2017 ). http:\/\/arxiv.org\/abs\/1708.06374 Shai Shalev-Shwartz, Shaked Shammah, and Amnon Shashua. 2017. On a Formal Model of Safe and Scalable Self-driving Cars. CoRR abs\/1708.06374 (2017). http:\/\/arxiv.org\/abs\/1708.06374"},{"key":"e_1_3_2_2_27_1","volume-title":"Test and Validation of Advanced Driver Assistance Systems Automated Search for Critical Scenarios. ATZelektronik worldwide 11, 1","author":"Tatar Mugur","year":"2016","unstructured":"Mugur Tatar . 2016. Test and Validation of Advanced Driver Assistance Systems Automated Search for Critical Scenarios. ATZelektronik worldwide 11, 1 ( 2016 ), 54--57. Mugur Tatar. 2016. Test and Validation of Advanced Driver Assistance Systems Automated Search for Critical Scenarios. ATZelektronik worldwide 11, 1 (2016), 54--57."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-012-9174-y"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2349018"}],"event":{"name":"GECCO '20: Genetic and Evolutionary Computation Conference","location":"Canc\u00fan Mexico","acronym":"GECCO '20","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the 2020 Genetic and Evolutionary Computation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377930.3389827","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377930.3389827","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377930.3389827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:07Z","timestamp":1750200067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377930.3389827"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,25]]},"references-count":28,"alternative-id":["10.1145\/3377930.3389827","10.1145\/3377930"],"URL":"https:\/\/doi.org\/10.1145\/3377930.3389827","relation":{},"subject":[],"published":{"date-parts":[[2020,6,25]]},"assertion":[{"value":"2020-06-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}