{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T00:41:16Z","timestamp":1743727276370,"version":"3.37.3"},"reference-count":56,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["W911NF-16-1-0485"],"award-info":[{"award-number":["W911NF-16-1-0485"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1941670"],"award-info":[{"award-number":["CNS-1941670"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-17-S-B001"],"award-info":[{"award-number":["N00014-17-S-B001"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1109\/tac.2020.3039484","type":"journal-article","created":{"date-parts":[[2020,11,20]],"date-time":"2020-11-20T20:23:17Z","timestamp":1605903797000},"page":"5665-5679","source":"Crossref","is-referenced-by-count":8,"title":["Secure Control in Partially Observable Environments to Satisfy LTL Specifications"],"prefix":"10.1109","volume":"66","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2166-7838","authenticated-orcid":false,"given":"Bhaskar","family":"Ramasubramanian","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8591-5522","authenticated-orcid":false,"given":"Luyao","family":"Niu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5868-6186","authenticated-orcid":false,"given":"Andrew","family":"Clark","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8751-2409","authenticated-orcid":false,"given":"Linda","family":"Bushnell","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0269-8097","authenticated-orcid":false,"given":"Radha","family":"Poovendran","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref38","first-page":"3372","article-title":"Robust control of uncertain MDPs with LTL specifications","author":"wolff","year":"0","journal-title":"Proc IEEE Conf Decis Control"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2930039"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-015-0927-6"},{"journal-title":"Real Analysis","year":"2010","author":"royden","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref35","first-page":"823","article-title":"Bounded finite state controllers","author":"poupart","year":"0","journal-title":"Proc Int Conf Neural Inf Process"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1515\/9781400831050"},{"journal-title":"Markov Chains and Stochastic Stability","year":"2012","author":"meyn","key":"ref28"},{"journal-title":"Game Theory","year":"1991","author":"fudenberg","key":"ref27"},{"key":"ref29","first-page":"113","article-title":"Synthesis of hierarchical finite-state controllers for POMDPs","author":"hansen","year":"0","journal-title":"Proc Int Conf Autom Plan Scheduling"},{"key":"ref2","first-page":"161","article-title":"Cyber-physical systems","volume":"12","author":"baheti","year":"2011","journal-title":"The Impact of Control Technology"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814630"},{"article-title":"Formal methods for control synthesis in partially observed environments:Application to autonomous robotic manipulation","year":"2014","author":"sharan","key":"ref20"},{"key":"ref22","first-page":"963","article-title":"Acting under uncertainty:Discrete Bayesian models for mobile-robot navigation","volume":"2","author":"cassandra","year":"0","journal-title":"Proc Int Conf Intell Robots Syst"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2382559.2382563"},{"key":"ref24","first-page":"727","article-title":"A heuristic variable grid solution method for POMDPs","author":"brafman","year":"0","journal-title":"Proc 14th Nat Conf Artif Intell \/9th Conf Innov Appl Artif Intell"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1287\/moor.1070.0279"},{"key":"ref25","article-title":"SARSOP:Efficient point-based POMDP planning by approximating optimally reachable belief spaces","author":"kurniawati","year":"0","journal-title":"Proc Robot Sci Syst Conf"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-28929-8"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32430-8_23"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35746-6_1"},{"key":"ref55","first-page":"531","article-title":"Towards a unified theory of state abstraction for MDPs","author":"li","year":"0","journal-title":"Proc 9th Int Symp Artif Intell Math"},{"key":"ref54","first-page":"3819","article-title":"State aggregation in MDPs","author":"ren","year":"0","journal-title":"Proc IEEE Conf Decis Control"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304080"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS48487.2020.00023"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298143"},{"key":"ref11","first-page":"495","article-title":"NUSMV:A new symbolic model verifier","author":"cimatti","year":"0","journal-title":"Proc Int Conf Comput Aided Verification"},{"key":"ref40","first-page":"1091","article-title":"A learning based approach to control synthesis of MDPs for LTL specifications","author":"sadigh","year":"0","journal-title":"Proc IEEE Conf Decis Control"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref13","volume":"i ii","author":"bertsekas","year":"2015","journal-title":"Dynamic Programming and Optimal Control"},{"journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming","year":"2014","author":"puterman","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"ref16","first-page":"8040","article-title":"Collision avoidance for unmanned aircraft using MDPs","author":"temizer","year":"0","journal-title":"Proc"},{"key":"ref17","first-page":"3544","article-title":"Secure control under LTL constraints","author":"niu","year":"0","journal-title":"Proc Amer Control Conf"},{"journal-title":"Probabilistic Robotics","year":"2005","author":"thrun","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6858909"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tej.2017.02.006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1080\/00396338.2011.555586"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-75462-8_6"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2398883"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref7"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-009-9103-z"},{"key":"ref9","first-page":"3116","article-title":"Where’s Waldo? Sensor-based temporal logic motion planning","author":"kress-gazit","year":"0","journal-title":"Proc"},{"key":"ref46","first-page":"709","article-title":"Dynamic programming for partially observable stochastic games","author":"hansen","year":"0","journal-title":"Proc Nat Conf Artif Intell"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54830-7_16"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/11564096_38"},{"key":"ref47","first-page":"52","article-title":"Bounded policy iteration for decentralized POMDPs","author":"bernstein","year":"0","journal-title":"Proc Int Joint Conf Artif Intell"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1287\/opre.21.5.1071"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2518639"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0164-2"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426524"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/9\/9632853\/9265402-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/9632853\/09265402.pdf?arnumber=9265402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:52:39Z","timestamp":1652194359000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9265402\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":56,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tac.2020.3039484","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"},{"type":"electronic","value":"2334-3303"}],"subject":[],"published":{"date-parts":[[2021,12]]}}}