{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T22:07:18Z","timestamp":1755036438185,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T00:00:00Z","timestamp":1365379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,4,8]]},"DOI":"10.1145\/2461328.2461359","type":"proceedings-article","created":{"date-parts":[[2013,4,9]],"date-time":"2013-04-09T12:19:32Z","timestamp":1365509972000},"page":"183-192","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["One-shot computation of reachable sets for differential games"],"prefix":"10.1145","author":[{"given":"Insoon","family":"Yang","sequence":"first","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]},{"given":"Sabine","family":"Becker-Weimann","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory, Berkeley, CA, USA"}]},{"given":"Mina J.","family":"Bissell","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory, Berkeley, CA, USA"}]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/www.cs.ubc.ca\/mitchell\/ToolboxLS.  http:\/\/www.cs.ubc.ca\/mitchell\/ToolboxLS."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185643"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967717"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_5_1","first-page":"20","volume-title":"Hybrid Systems: Computation and Control, LNCS 2623","author":"Asarin E.","year":"2003"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"T. Ba\u015far and G. J. Olsder. Dynamic Noncooperative Game Theory. SIAM Philadelphia 2nd edition 1999.  T. Ba\u015far and G. J. Olsder. Dynamic Noncooperative Game Theory. SIAM Philadelphia 2nd edition 1999.","DOI":"10.1137\/1.9781611971132"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-1-4612-4274-1_14","volume-title":"New Trends in Dynamic Games and Application","author":"Bardi M.","year":"1995"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4755-1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1592-9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1991-0991958-X"},{"key":"e_1_3_2_1_11_1","first-page":"45","volume-title":"Hybrid Systems: Computation and Control, LNCS 1790","author":"Bemporad A.","year":"2000"},{"key":"e_1_3_2_1_12_1","series-title":"Annals of International Society of Dynamic Games","volume-title":"Stochastic and Differential Games: Theory and Numerical Methods","author":"Cardaliaguet P.","year":"1999"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1983-0690039-8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1984-0744921-8"},{"volume-title":"American Mathematical Society","year":"1972","author":"Elliott R. J.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1984.33.33040"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1158\/0008-5472.CAN-08-1694"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_23"},{"volume-title":"Hybrid Systems: Computation and Control, LNCS 1790, mpages 130--144","year":"2000","author":"Henzinger T. A.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2003.11.007"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_27"},{"issue":"3","key":"e_1_3_2_1_25_1","first-page":"347","article-title":"Reachability analysis for uncertain systems--the ellipsoidal technique. Dynamics of Continuous","volume":"9","author":"Kurzhanski A. B.","year":"2002","journal-title":"Discrete and Impulsive Systems Series B: Applications and Algorithms"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"e_1_3_2_1_27_1","first-page":"310","volume-title":"Hybrid Systems: Computation and Control, LNCS 1790","author":"Mitchell I.","year":"2000"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10915-007-9174-4"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1137\/0524066"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(88)90002-2"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"S. J. Osher and R. P. Fedkiw. Level Set Methods and Dynamic Implicit Surfaces. Springer New York 1st edition 2002.  S. J. Osher and R. P. Fedkiw. Level Set Methods and Dynamic Implicit Surfaces. Springer New York 1st edition 2002.","DOI":"10.1007\/b98879"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_30"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1158\/0008-5472.CAN-07-2225"},{"key":"e_1_3_2_1_35_1","unstructured":"J. A. Sethian. Level Set Methods and Fast Marching Methods: Evolving Interfaces in Computational Geometry Fluid Mechanics Computer Vision and Materials Science. Cambridge University Press New York 2nd edition 1999.  J. A. Sethian. Level Set Methods and Fast Marching Methods: Evolving Interfaces in Computational Geometry Fluid Mechanics Computer Vision and Materials Science. Cambridge University Press New York 2nd edition 1999."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1137\/0331027"},{"key":"e_1_3_2_1_37_1","first-page":"482","volume-title":"Hybrid Systems: Computation and Control, LNCS 2623","author":"Stursberg O.","year":"2003"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1119578109"},{"key":"e_1_3_2_1_39_1","first-page":"465","volume-title":"Hybrid Systems: Computation and Control, LNCS 2289","author":"Tiwari A.","year":"2002"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142901396533"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1137\/0305009"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1093\/jnci\/94.19.1494"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1083\/jcb.137.1.231"}],"event":{"name":"HSCC '13: Computation and Control","sponsor":["IEEE Signal Processing Society","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Philadelphia Pennsylvania USA","acronym":"HSCC '13"},"container-title":["Proceedings of the 16th international conference on Hybrid systems: computation and control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2461328.2461359","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2461328.2461359","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:43Z","timestamp":1750234723000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2461328.2461359"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,8]]},"references-count":45,"alternative-id":["10.1145\/2461328.2461359","10.1145\/2461328"],"URL":"https:\/\/doi.org\/10.1145\/2461328.2461359","relation":{},"subject":[],"published":{"date-parts":[[2013,4,8]]},"assertion":[{"value":"2013-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}