{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:22:38Z","timestamp":1762521758347,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/cdc.2014.7039527","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T19:53:59Z","timestamp":1424202839000},"page":"1091-1096","source":"Crossref","is-referenced-by-count":61,"title":["A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications"],"prefix":"10.1109","author":[{"given":"Dorsa","family":"Sadigh","sequence":"first","affiliation":[]},{"given":"Eric S.","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Samuel","family":"Coogan","sequence":"additional","affiliation":[]},{"given":"S. Shankar","family":"Sastry","sequence":"additional","affiliation":[]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-48778-6_16","article-title":"Probabilistic linear-time model checking: An overview of the automata-theoretic approach","volume":"1601","author":"vardi","year":"1999","journal-title":"Formal Methods for Real-Time and Probabilistic Systems ser Lecture Notes in Computer Science"},{"key":"ref11","article-title":"Experiments with deterministic w-automata for formulas of linear temporal logic","author":"klein","year":"2004","journal-title":"Implementation and Application of Automata"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1109\/SFCS.1988.21948","article-title":"On the complexity of w-automata","author":"safra","year":"1988","journal-title":"Proceedings of the 29th Annual Symposium on Foundations of Computer Science Ser SFCS '88"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039527"},{"journal-title":"Artificial Intelligence A Modern Approach","year":"2010","author":"russell","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF00115009"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1017984413808"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426174"},{"key":"ref3","article-title":"Data-driven probabilistic modeling and verification of human driver behavior","author":"sadigh","year":"2014","journal-title":"Formal Verification and Modeling in Human-Machine Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298143"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400629"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref7","first-page":"364","article-title":"Synthesis of reactive(l) de-signs","author":"piterman","year":"2006","journal-title":"VMCAI"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-8040"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2007.III.030","article-title":"The stochastic motion roadmap: A sampling framework for planning with Markov motion uncertainty","author":"alterovitz","year":"2007","journal-title":"In Robotics Science and Systems"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref9"}],"event":{"name":"2014 IEEE 53rd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2014,12,15]]},"location":"Los Angeles, CA, USA","end":{"date-parts":[[2014,12,17]]}},"container-title":["53rd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7027307\/7039338\/07039527.pdf?arnumber=7039527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T01:01:17Z","timestamp":1566349277000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7039527\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/cdc.2014.7039527","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}