{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:57:36Z","timestamp":1760597856467,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8619353","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T00:12:50Z","timestamp":1548288770000},"page":"4159-4166","source":"Crossref","is-referenced-by-count":16,"title":["Synthesis of Surveillance Strategies via Belief Abstraction"],"prefix":"10.1109","author":[{"given":"Suda","family":"Bharadwaj","sequence":"first","affiliation":[]},{"given":"Rayna","family":"Dimitrova","sequence":"additional","affiliation":[]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"333","article-title":"Slugs: Extensible GR(1) synthesis","volume":"9780","author":"ehlers","year":"2016","journal-title":"Proc CAV 2016 sere LNCS"},{"key":"ref11","first-page":"154","article-title":"Counterexample-guided abstraction refinement","volume":"1855","author":"clarke","year":"2000","journal-title":"Proc CAV'2000"},{"journal-title":"Synthesis of surveillance strategies via belief abstraction","year":"2017","author":"bharadwaj","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2009.2024309"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272656"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.804040"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980175"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref18","first-page":"364","author":"piterman","year":"2006","journal-title":"Synthesis of Reactive(1) Designs"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.03.003"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-011-9241-4"},{"key":"ref6","first-page":"185","author":"doyen","year":"2011","journal-title":"Games with Imperfect Information Theory and Algorithms"},{"key":"ref5","first-page":"213","author":"kreutzer","year":"2011","journal-title":"Graph Searching Games"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90034-5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0164-2"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2002.1014784"},{"key":"ref9","first-page":"73","article-title":"On the power of imperfect information","volume":"2","author":"berwanger","year":"2008","journal-title":"Proc FSTTCS 2008"},{"key":"ref1","first-page":"267","author":"bandyopadhyay","year":"2011","journal-title":"Motion Planning for 3-D Target Tracking among Obstacles"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4398998"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45061-0_69"},{"key":"ref21","first-page":"34","article-title":"Synthesis from knowledge-based specifications (extended abstract)","volume":"1466","author":"van der meyden","year":"1998","journal-title":"Procs CONCUR'98"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859309"},{"key":"ref23","first-page":"175","article-title":"Abstraction refinement for games with incomplete information","volume":"2","author":"dimitrova","year":"2008","journal-title":"Proc FSTTCS 2008"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.2307\/1971035"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref25"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2018,12,17]]},"location":"Miami Beach, FL","end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08619353.pdf?arnumber=8619353","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T21:05:46Z","timestamp":1598216746000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8619353\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8619353","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}