{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:55:56Z","timestamp":1729626956287,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/acc.2011.5990952","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T17:51:28Z","timestamp":1405533088000},"page":"311-316","source":"Crossref","is-referenced-by-count":16,"title":["Control of Markov decision processes from PCTL specifications"],"prefix":"10.1109","author":[{"given":"M.","family":"Lahijanian","sequence":"first","affiliation":[]},{"given":"S. B.","family":"Andersson","sequence":"additional","affiliation":[]},{"given":"C.","family":"Belta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Formal Verification of Probabilistic Systems","year":"1994","author":"de alfaro","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509686"},{"journal-title":"Robotic Indoor Environment (Ride)","year":"0","key":"18"},{"key":"15","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"0","journal-title":"VMCAI Charleston SC 2006"},{"key":"16","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":"Lecture Notes in Computer Science"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"13"},{"key":"14","first-page":"995","volume":"b","author":"emerson","year":"1990","journal-title":"Handbook of Theoretical Computer Science Formal Models and Semantics"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377825"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/9.720497"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"journal-title":"On Algorithmic Verification Methods for Probabilistic Systems","year":"1998","author":"baier","key":"1"},{"key":"10","article-title":"Where's waldo? Sensorbased temporal logic motion planning","author":"gazit","year":"0","journal-title":"International Conference on Robotics and Automation Rome Italy 2007"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050046"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1090\/crmm\/023","volume":"23","author":"rutten","year":"2004","journal-title":"Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-4(4:8)2008"},{"key":"4","first-page":"1","article-title":"Distributed qualitative ltl model checking of markov decision processes","author":"barnat","year":"0","journal-title":"Proceedings of 5th International Workshop on Parallel and Distributed Methods in VerifiCation Bonn Germany 2006"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"8","article-title":"Automatic synthesis of multiagent motion tasks based on LTL specifications","author":"loizou","year":"0","journal-title":"Proceedings of the IEEE Conference on Decision and Control 2004"}],"event":{"name":"2011 American Control Conference","start":{"date-parts":[[2011,6,29]]},"location":"San Francisco, CA","end":{"date-parts":[[2011,7,1]]}},"container-title":["Proceedings of the 2011 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5975310\/5989965\/05990952.pdf?arnumber=5990952","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T18:20:59Z","timestamp":1565634059000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5990952\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/acc.2011.5990952","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}