{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:12:37Z","timestamp":1729653157800,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/acc.2014.6859309","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T17:01:49Z","timestamp":1406653309000},"page":"2297-2304","source":"Crossref","is-referenced-by-count":7,"title":["Abstractions and sensor design in partial-information, reactive controller synthesis"],"prefix":"10.1109","author":[{"given":"Jie","family":"Fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rayna","family":"Dimitrova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"First-Order Logic","year":"1995","author":"smullyan","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"18","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/11874683_19","article-title":"Algorithms for omega-regular games with imperfect information","volume":"4207","author":"chatterjee","year":"2006","journal-title":"Computer Science Logic"},{"key":"15","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/11730637_14","article-title":"A lattice theory for solving games of imperfect information","volume":"3927","author":"wulf","year":"2006","journal-title":"Hybrid Systems Computation and Control"},{"key":"16","article-title":"Abstraction refinement for games with incomplete information","author":"dimitrova","year":"2008","journal-title":"FSTTCS Ser Dagstuhl Seminar Proceedings"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0158-0"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511973468"},{"key":"12","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/11874683_19","article-title":"Algorithms for omega-regular games with imperfect information","author":"chatterjee","year":"2006","journal-title":"Computer Science Logic"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/565816.503279"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364456"},{"key":"20","first-page":"19","article-title":"Interpolants from z3 proofs","author":"mcmillan","year":"2011","journal-title":"Proceedings of the International Conference on Formal Methods in Computer-Aided Design"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942116"},{"journal-title":"Abstraction Refinement for Games with Incomplete Information","year":"2008","author":"dimitrova","key":"10"},{"key":"7","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-642-14295-6_18","article-title":"Jtlv: A framework for developing verification algorithms","author":"pnueli","year":"2010","journal-title":"Computer Aided Verification"},{"key":"6","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/11609773_24","article-title":"Synthesis of reactive (1) designs","volume":"3855","author":"piterman","year":"2006","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.2514\/6.2011-1506"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"8","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/978-3-642-14295-6_37","article-title":"RATSY-a new requirements analysis tool with synthesis","author":"bloem","year":"2010","journal-title":"Computer Aided Verification"}],"event":{"name":"2014 American Control Conference - ACC 2014","start":{"date-parts":[[2014,6,4]]},"location":"Portland, OR, USA","end":{"date-parts":[[2014,6,6]]}},"container-title":["2014 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6849600\/6858556\/06859309.pdf?arnumber=6859309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T05:47:23Z","timestamp":1565675243000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6859309\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/acc.2014.6859309","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}