{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:35:56Z","timestamp":1750815356702,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/acc.2015.7171093","type":"proceedings-article","created":{"date-parts":[[2015,7,30]],"date-time":"2015-07-30T17:26:01Z","timestamp":1438277161000},"page":"2408-2413","source":"Crossref","is-referenced-by-count":2,"title":["Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations"],"prefix":"10.1109","author":[{"family":"Jie Fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Algorithms for Sequential Decision Making","year":"1996","author":"lederman littman","key":"ref10"},{"key":"ref11","first-page":"2021","article-title":"Replanning in domains with partial information and sensing actions","volume":"2011","author":"shani","year":"2011","journal-title":"IJCAI"},{"journal-title":"Formal methods for control synthesis in partially observed environments application to autonomous robotic manipulation Dissertation (Ph D ) California Institute of Technology","year":"2014","author":"sharan","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426524"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.28"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16242-8_1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859309"},{"key":"ref5","first-page":"1","article-title":"Algorithms for omega-regular games with imperfect information","volume":"3","author":"krishnendu","year":"2007","journal-title":"Logical Methods in Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36387-4","author":"gradel","year":"2002","journal-title":"Automata Logics and Infinite Games A Guide to Current Research"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/963927.963928"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942116"}],"event":{"name":"2015 American Control Conference (ACC)","start":{"date-parts":[[2015,7,1]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2015,7,3]]}},"container-title":["2015 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7160954\/7170700\/07171093.pdf?arnumber=7171093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T12:44:23Z","timestamp":1498221863000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7171093\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/acc.2015.7171093","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}