{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T14:48:01Z","timestamp":1773154081194,"version":"3.50.1"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/robot.2010.5509686","type":"proceedings-article","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T16:07:20Z","timestamp":1279814840000},"page":"3227-3232","source":"Crossref","is-referenced-by-count":62,"title":["Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees"],"prefix":"10.1109","author":[{"given":"M","family":"Lahijanian","sequence":"first","affiliation":[]},{"given":"J","family":"Wasniewski","sequence":"additional","affiliation":[]},{"given":"S B","family":"Andersson","sequence":"additional","affiliation":[]},{"given":"C","family":"Belta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"High-level robot behavior control using POMDPs","author":"pineau","year":"2002","journal-title":"AAAI Workshop notes"},{"key":"ref11","volume":"1","author":"bertsekas","year":"1995","journal-title":"Dynamic Programming and Optimal Control"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1613\/jair.2078","article-title":"Anytime point-based approximations for large POMDPs","volume":"27","author":"pineau","year":"2006","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1613\/jair.761","article-title":"Speeding up the convergence of value iteration in partially observable Markov decision processes","volume":"14","author":"zhang","year":"2001","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref14","article-title":"On algorithmic verification methods for probabilistic systems","author":"baier","year":"1998","journal-title":"Ph D Dissertation"},{"key":"ref15","first-page":"499","article-title":"Model checking of probabilistic and nondeterministic systems","author":"alfaro","year":"1995","journal-title":"Springer-Verlag"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","article-title":"Probabilistic symbolic model checking with PRISM: A hybrid approach","volume":"6","author":"kwiatkowska","year":"2004","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"ref18","article-title":"Robotic indoor environment","year":"0"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1287\/moor.12.3.441"},{"key":"ref4","article-title":"Where's waldo? sensor-based temporal logic motion planning","author":"gazit","year":"2007","journal-title":"IEEE Conference on Robotics and Automation"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"4417","DOI":"10.1109\/ROBOT.2004.1302413","article-title":"Multi-robot motion planning: A timed automata approach","author":"quottrup","year":"2004","journal-title":"Proceedings of the 2004 IEEE International Conference on Robotics and Automation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"ref8","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"2006","journal-title":"VMCAI"},{"key":"ref7","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref2","article-title":"Automatic synthesis of multiagent motion tasks based on LTL specifications","author":"loizou","year":"2004","journal-title":"43rd IEEE Conference on Decision and Control"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-3-540-78929-1_21","article-title":"Dealing with non-determinism in symbolic control","author":"kloetzer","year":"2008","journal-title":"Hybrid Systems Computation and Control 11th International Workshop sere Lecture Notes in Computer Science"},{"key":"ref20","article-title":"Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems","volume":"23","author":"rutten","year":"2004","journal-title":"ser CRM Monograph Series"},{"key":"ref22","article-title":"Matlab toolbox for the irobot create","author":"esposito","year":"2008"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/11691372_29","article-title":"PRISM: A tool for automatic verification of probabilistic systems","volume":"3920","author":"hinton","year":"2006","journal-title":"Proc 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06) ser LNCS"},{"key":"ref23","article-title":"Fisherextest.fisher's exact probability test","author":"trujillo-ortiz","year":"2004"}],"event":{"name":"2010 IEEE International Conference on Robotics and Automation (ICRA 2010)","location":"Anchorage, AK","start":{"date-parts":[[2010,5,3]]},"end":{"date-parts":[[2010,5,7]]}},"container-title":["2010 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5501116\/5509124\/05509686.pdf?arnumber=5509686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T12:17:48Z","timestamp":1559305068000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5509686\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/robot.2010.5509686","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]}}}