{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:57:46Z","timestamp":1764053866286,"version":"3.37.3"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000181","name":"AFOSR Test and Evaluation Program","doi-asserted-by":"publisher","award":["FA9550-19-1-0302"],"award-info":[{"award-number":["FA9550-19-1-0302"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1932091"],"award-info":[{"award-number":["CNS-1932091"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004341","name":"Dow","doi-asserted-by":"publisher","award":["227027AT"],"award-info":[{"award-number":["227027AT"]}],"id":[{"id":"10.13039\/100004341","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,29]]},"DOI":"10.1109\/icra48891.2023.10160841","type":"proceedings-article","created":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T17:20:56Z","timestamp":1688491256000},"page":"12430-12436","source":"Crossref","is-referenced-by-count":4,"title":["Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows"],"prefix":"10.1109","author":[{"given":"Apurva","family":"Badithela","sequence":"first","affiliation":[{"name":"California Institute of Technology,Department of Computing and Mathematical Sciences,Pasadena,CA,USA,91125"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josefine B.","family":"Graebener","sequence":"additional","affiliation":[{"name":"California Institute of Technology,Graduate Aerospace Laboratories,Pasadena,CA,USA,91125"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wyatt","family":"Ubellacker","sequence":"additional","affiliation":[{"name":"California Institute of Technology,Department of Computing and Mathematical Sciences,Pasadena,CA,USA,91125"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric V.","family":"Mazumdar","sequence":"additional","affiliation":[{"name":"California Institute of Technology,Department of Computing and Mathematical Sciences,Pasadena,CA,USA,91125"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron D.","family":"Ames","sequence":"additional","affiliation":[{"name":"California Institute of Technology,Department of Computing and Mathematical Sciences,Pasadena,CA,USA,91125"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[{"name":"California Institute of Technology,Department of Computing and Mathematical Sciences,Pasadena,CA,USA,91125"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185653"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2602089"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858464"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0066-0"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294489"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0233-2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_25"},{"volume-title":"Technical Evaluation Criteria","key":"ref11"},{"volume-title":"DARPA Urban Challenge","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2006.889492"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v29i1.9670"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794364"},{"key":"ref18","article-title":"On a formal model of safe and scalable self-driving cars","author":"Shalev-Shwartz","year":"2017","journal-title":"arXiv preprint"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483174"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06773-0_7"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799147"},{"volume-title":"Minimally constrained testing for autonomy with temporal logic specifications","year":"2022","author":"Badithela","key":"ref24"},{"volume-title":"Principles of model checking","year":"2008","author":"Baier","key":"ref25"},{"key":"ref26","first-page":"425","volume-title":"On a Decision Method in Restricted Second Order Arithmetic","author":"B\u00fcchi","year":"1990"},{"volume-title":"Introduction to algorithms","year":"2009","author":"Cormen","key":"ref27"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/springerreference_57547"},{"key":"ref29","article-title":"Convex-concave min-max stackelberg games","volume":"34","author":"Goktas","year":"2021","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9636537"}],"event":{"name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2023,5,29]]},"location":"London, United Kingdom","end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10160211\/10160212\/10160841.pdf?arnumber=10160841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T11:41:55Z","timestamp":1709293315000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10160841\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,29]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/icra48891.2023.10160841","relation":{},"subject":[],"published":{"date-parts":[[2023,5,29]]}}}