{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:25:26Z","timestamp":1725747926584},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7799415","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T12:11:18Z","timestamp":1483618278000},"page":"7419-7424","source":"Crossref","is-referenced-by-count":24,"title":["Control in belief space with Temporal Logic specifications"],"prefix":"10.1109","author":[{"given":"Cristian-Ioan","family":"Vasile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Leahy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Cristofalo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Austin","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mac","family":"Schwager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2309033"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16595-0_30"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363984"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980508"},{"journal-title":"Probabilistic Robotics (Intelligent Robotics and Autonomous Agents)","year":"2005","author":"thrun","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913501564"},{"key":"ref16","article-title":"Sampling-based Motion Planning with Deterministic $\\mu$-Calculus Specifications","author":"karaman","year":"2009","journal-title":"IEEE Conference on Decision and Control (CDC)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697051"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907486"},{"journal-title":"Dynamic Programming and Optimal Control","year":"2012","author":"bertsekas","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980257"},{"key":"ref3","first-page":"193","article-title":"Randomized belief-space replanning in partially-observable continuous spaces","author":"hauser","year":"2011","journal-title":"Algorithmic Foundations of Robotics IX"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351652"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728632"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403291"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760628"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760491"},{"key":"ref1","first-page":"353","article-title":"Iterative temporal motion planning for hybrid systems in partially unknown environments","author":"maly","year":"2013","journal-title":"International Conference on Hybrid Systems Computation and Control"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1287\/moor.12.3.441"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2071379.2071382"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-21779-6","author":"ma","year":"2004","journal-title":"An Invitation to 3D Vision From Images to Geometric Models"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/11605157_17","article-title":"Experiments with deterministic $\\omega$-automata for formulas of linear temporal logic","author":"klein","year":"2006","journal-title":"Implementation and Application of Automata"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07799415.pdf?arnumber=7799415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T01:40:09Z","timestamp":1568684409000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7799415\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7799415","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}