{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T15:48:18Z","timestamp":1782575298286,"version":"3.54.5"},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T00:00:00Z","timestamp":1430438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"NSF under CPS: ActionWebs","award":["CNS-931843"],"award-info":[{"award-number":["CNS-931843"]}]},{"name":"ONR","award":["HUNT (N0014-08-0696)"],"award-info":[{"award-number":["HUNT (N0014-08-0696)"]}]},{"name":"ONR","award":["SMARTS (N00014-09-1-1051)"],"award-info":[{"award-number":["SMARTS (N00014-09-1-1051)"]}]},{"name":"MURIs","award":["N00014-12-1-0609"],"award-info":[{"award-number":["N00014-12-1-0609"]}]},{"DOI":"10.13039\/100000181","name":"AFOSR","doi-asserted-by":"crossref","award":["CHASE MURI (FA9550-10-1-0567)"],"award-info":[{"award-number":["CHASE MURI (FA9550-10-1-0567)"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/tcst.2014.2360502","type":"journal-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T14:26:41Z","timestamp":1413296801000},"page":"1014-1028","source":"Crossref","is-referenced-by-count":75,"title":["Automation-Assisted Capture-the-Flag: A Differential Game Approach"],"prefix":"10.1109","volume":"23","author":[{"given":"Haomiao","family":"Huang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jerry","family":"Ding","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142901396533"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","article-title":"Controllers for reachability specifications for hybrid systems","volume":"35","author":"lygeros","year":"1999","journal-title":"Automatica"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1007\/BFb0070400","article-title":"Pursuit-evasion in a graph","author":"parsons","year":"1978","journal-title":"Theory and Applications of Graphs"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910387173"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.93.4.1591"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1137\/0319039"},{"key":"ref35","author":"bertsekas","year":"1978","journal-title":"Stochastic Optimal Control The Discrete Time Case"},{"key":"ref34","author":"rudin","year":"1976","journal-title":"Principles of Mathematical Analysis"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1163\/1568553042674662"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1177\/0278364908097581"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1239094"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2006.11.002"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470103"},{"key":"ref15","author":"isaacs","year":"1967","journal-title":"Differential Games"},{"key":"ref16","author":"ba?ar","year":"1999","journal-title":"Dynamic Noncooperative Game Theory"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1142\/S0219198906000886"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738998"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-005-0017-x"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/3-540-63307-3_45","article-title":"Visibility-based pursuit-evasion in a polygonal environment","volume":"1272","author":"guibas","year":"1997","journal-title":"Algorithms and Data Structures"},{"key":"ref27","author":"mitchell","year":"2009","journal-title":"A Toolbox of level set methods"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912452894"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364906065023"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1592-9_3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/70.928565"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01840371"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/027836498600500304"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(84)90073-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700706"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980264"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1984.33.33040"},{"key":"ref22","author":"elliott","year":"1972","journal-title":"The Existence of Value in Differential Games"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4755-1"},{"key":"ref24","author":"osher","year":"2002","journal-title":"Level Set Methods and Dynamic Implicit Surfaces"},{"key":"ref23","volume":"3","author":"sethian","year":"1999","journal-title":"Level Set Methods and Fast Marching Methods"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.2307\/1999343"},{"key":"ref25","article-title":"Application of level set methods to control and reachability problems in continuous and hybrid systems","author":"mitchell","year":"2002"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/7087415\/06922516.pdf?arnumber=6922516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:41:56Z","timestamp":1641987716000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6922516\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":38,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2014.2360502","relation":{},"ISSN":["1063-6536","1558-0865"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5]]}}}