{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:36:32Z","timestamp":1729658192155,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/icra.2015.7139024","type":"proceedings-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T17:20:30Z","timestamp":1436203230000},"page":"361-368","source":"Crossref","is-referenced-by-count":11,"title":["Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints"],"prefix":"10.1109","author":[{"given":"Jie","family":"Fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/978-3-642-33386-6_25","article-title":"Pareto curves for probabilistic model checking","volume":"7561","author":"forejt","year":"0","journal-title":"Proceedings of 10th International Symposium on Automated Technology for Verification and Analysis ser LNCS"},{"key":"ref11","first-page":"969","article-title":"On finding compromise solutions in multiobjective markov decision processes","author":"perny","year":"2010","journal-title":"Proceedings of the 19th European Conference on Artificial Intelligence"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01197559"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"journal-title":"Formal Verification of Probabilistic Systems","year":"1997","author":"de alfaro","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0180-2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2012.19"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1561\/1100000005"},{"key":"ref18","first-page":"971","article-title":"A decision-theoretic approach to cooperative control and adjustable autonomy","author":"mouaddib","year":"2010","journal-title":"European Conference on Artificial Intelligence"},{"key":"ref19","article-title":"Principles of model checking","volume":"26202649","author":"baier","year":"2008"},{"key":"ref4","first-page":"470","volume":"8413","author":"li","year":"2014","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Ser Lecture Notes in Computer Science"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ROMAN.2012.6343867"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s00422-013-0562-6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1162\/089976699300016890"},{"key":"ref8","first-page":"325","article-title":"Markov decision processes with multiple objectives","author":"chatterjee","year":"2006","journal-title":"Symposium on Theoretical Aspects of Computer Science"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-2445"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ROMAN.2001.981922"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/978-3-540-77050-3_39","article-title":"Markov decision processes with multiple long-run average objectives","volume":"4855","author":"chatterjee","year":"2007","journal-title":"FSTTCS 2007 Foundations of Software Technology and Theoretical Computer Science ser Lecture Notes in Computer Science"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980259"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4054-9"},{"key":"ref22","volume":"504","author":"steuer","year":"1992","journal-title":"Multiple Criteria Optimization Theory Computation and Application"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.07.033"},{"journal-title":"Reinforcement Learning An Introduction","year":"1998","author":"barto","key":"ref24"},{"key":"ref23","volume":"414","author":"puterman","year":"2009","journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2014.X.039","article-title":"Probably approximately correct mdp learning and control with temporal logic constraints","author":"fu","year":"2014","journal-title":"Proceedings of Robotics Science and Systems"}],"event":{"name":"2015 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2015,5,26]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2015,5,30]]}},"container-title":["2015 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7128761\/7138973\/07139024.pdf?arnumber=7139024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T11:12:17Z","timestamp":1498216337000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7139024\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/icra.2015.7139024","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}