{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T00:12:18Z","timestamp":1768349538134,"version":"3.49.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/cdc.2012.6426524","type":"proceedings-article","created":{"date-parts":[[2013,2,8]],"date-time":"2013-02-08T22:05:08Z","timestamp":1360361108000},"page":"7644-7651","source":"Crossref","is-referenced-by-count":30,"title":["Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications"],"prefix":"10.1109","author":[{"given":"Tichakorn","family":"Wongpiromsarn","sequence":"first","affiliation":[]},{"given":"Emilio","family":"Frazzoli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1613\/jair.678","article-title":"Value-function approximations for partially observable markov decision processes","volume":"13","author":"hauskrecht","year":"2000","journal-title":"Journal of Artificial Intelligence Research"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1287\/moor.12.3.441"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161122"},{"key":"16","article-title":"Discrete state estimators for systems on a lattice","volume":"42","author":"vecchio","year":"2006","journal-title":"Automatica"},{"key":"13","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"14","article-title":"LTL control in uncertain environments with probabilistic satisfaction guarantees","author":"ding","year":"2011","journal-title":"IFAC World Congress"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"12","article-title":"Receding horizon control for temporal logic specifications","author":"wongpiromsarn","year":"2010","journal-title":"Hybrid Systems Computation and Control"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.07.022"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1050.0216"},{"key":"22","author":"baier","year":"2008","journal-title":"Principles of Model Checking (Representation and Mind Series)"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"25","first-page":"1025","article-title":"Point-based value iteration: An anytime algorithm for POMDPs","author":"pineau","year":"2003","journal-title":"Proc of International Joint Conference on Artificial Intelligence"},{"key":"26","first-page":"65","article-title":"SARSOP: Efficient pointbased POMDP planning by approximating optimally reachable belief spaces","author":"kurniawati","year":"2008","journal-title":"Robotics Science and Systems"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426524"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.09.016"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6083056"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2160595"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.42"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"9","article-title":"Sampling-based motion planning with deterministic ?-calculus specifications","author":"karaman","year":"2009","journal-title":"Proc of IEEE Conference on Decision and Control"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"}],"event":{"name":"2012 IEEE 51st Annual Conference on Decision and Control (CDC)","location":"Maui, HI, USA","start":{"date-parts":[[2012,12,10]]},"end":{"date-parts":[[2012,12,13]]}},"container-title":["2012 IEEE 51st IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6416474\/6425800\/06426524.pdf?arnumber=6426524","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T13:18:49Z","timestamp":1562678329000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6426524\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cdc.2012.6426524","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}