{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T09:42:06Z","timestamp":1766137326956},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"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":[[2019,10]]},"DOI":"10.1109\/itsc.2019.8917287","type":"proceedings-article","created":{"date-parts":[[2019,11,29]],"date-time":"2019-11-29T11:11:50Z","timestamp":1575025910000},"source":"Crossref","is-referenced-by-count":25,"title":["Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems"],"prefix":"10.1109","author":[{"given":"Markus","family":"Koschi","sequence":"first","affiliation":[]},{"given":"Christian","family":"Pek","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Maierhofer","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57288-8_26"},{"key":"ref32","first-page":"127","article-title":"Efficient guiding strategies for testing of temporal properties of hybrid systems","author":"dreossi","year":"2015","journal-title":"FM?99 - Formal Methods"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_10"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-041901-5.50031-2"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795599"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_14"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2003.821292"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/25.728529"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.02250"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2007.12.004"},{"key":"ref14","first-page":"308","article-title":"Design and analysis of full range adaptive cruise control with integrated collision avoidance strategy","author":"mullakkal-babu","year":"2016","journal-title":"Proc of the IEEE Int Conf on Intelligent Transportation Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.418"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2713772"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040372"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2018.2842115"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2001.946054"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8814230"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2013.2278405"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989173"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"ref6","first-page":"104","article-title":"ARCH-COMP18 category report: Results on the falsification benchmarks","author":"dokhanchi","year":"2018","journal-title":"Workshop on Applied Verification for Continuous and Hybrid Systems"},{"key":"ref29","first-page":"9849","article-title":"Scalable end-to-end autonomous vehicle testing via rare-event simulation","author":"o\u2019kelly","year":"2018","journal-title":"Proc of the Int Conf on Neural Information Processing Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/25.260745"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1993.325521"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.aap.2010.03.006"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1080\/00423110903365910"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/b137241"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0001-4575(99)00013-5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2007.909241"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2005.1505122"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500374"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569392"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500421"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569661"}],"event":{"name":"2019 IEEE Intelligent Transportation Systems Conference - ITSC","location":"Auckland, New Zealand","start":{"date-parts":[[2019,10,27]]},"end":{"date-parts":[[2019,10,30]]}},"container-title":["2019 IEEE Intelligent Transportation Systems Conference (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8907344\/8916833\/08917287.pdf?arnumber=8917287","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T15:22:29Z","timestamp":1658157749000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8917287\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/itsc.2019.8917287","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}