{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:29:19Z","timestamp":1759940959461,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icra.2013.6631226","type":"proceedings-article","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T22:11:25Z","timestamp":1382393485000},"page":"4568-4575","source":"Crossref","is-referenced-by-count":23,"title":["Strategic planning under uncertainties via constrained Markov Decision Processes"],"prefix":"10.1109","author":[{"given":"Xu Chu","family":"Ding","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Pinto","sequence":"additional","affiliation":[]},{"given":"Amit","family":"Surana","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1998.705645"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1287\/moor.16.1.195"},{"key":"18","first-page":"1107","article-title":"Approximating optimal policies for agents with limited execution resources","author":"dolgov","year":"2003","journal-title":"IJCAI"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"13","volume":"7","author":"altman","year":"1999","journal-title":"Constrained Markov Decision Processes"},{"key":"14","first-page":"624","article-title":"Efficient model checking of safety properties","author":"latvala","year":"2003","journal-title":"Model Checking Software"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509686"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","author":"puterman","year":"1994","journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming"},{"journal-title":"Principles of Robot Motion Theory Algorithms and Implementation","year":"2005","author":"choset","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"journal-title":"Multi-objective Model Checking of Markov Decision Processes","year":"2008","author":"etessami","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"10","article-title":"LTL planning for groups of robots control in uncertain environments with probabilistic satisfaction guarantees","author":"ding","year":"2011","journal-title":"18th IFAC World Congress"},{"key":"7","article-title":"A formal approach to deployment of robotic teams in an urban-like environment","author":"chen","year":"2010","journal-title":"10th International Symposium on Distributed Autonomous Robotics Systems (DARS 2010)"},{"key":"6","first-page":"2222","article-title":"Sampling-based motion planning with deterministic -calculus specifications","author":"karaman","year":"2009","journal-title":"IEEE Conf on Decision and Control"},{"key":"5","first-page":"4417","article-title":"Multi-robot motion planning. A timed automata approach","author":"quottrup","year":"2004","journal-title":"IEEE Int Conf on Robotics and Automation"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399536"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"}],"event":{"name":"2013 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2013,5,6]]},"location":"Karlsruhe, Germany","end":{"date-parts":[[2013,5,10]]}},"container-title":["2013 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6615630\/6630547\/06631226.pdf?arnumber=6631226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,9]],"date-time":"2022-03-09T20:58:32Z","timestamp":1646859512000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6631226\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icra.2013.6631226","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}