{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:24:35Z","timestamp":1730204675015,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8619683","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T00:12:50Z","timestamp":1548288770000},"page":"4173-4180","source":"Crossref","is-referenced-by-count":4,"title":["Transfer Entropy in MDPs with Temporal Logic Specifications"],"prefix":"10.1109","author":[{"given":"Suda","family":"Bharadwaj","sequence":"first","affiliation":[]},{"given":"Mohamadreza","family":"Ahmadi","sequence":"additional","affiliation":[]},{"given":"Takashi","family":"Tanaka","sequence":"additional","affiliation":[]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10407-2_37"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2014.6862534"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.1998.708787"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1973.1091610"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1972.1054855"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2008.2008147"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2139430"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887294"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/597"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/978-3-319-11936-6_8","article-title":"Verification of markov decision processes using learning algorithms","author":"br\u00e1zdil","year":"2014","journal-title":"International Symposium on Automated Technology for Verification and Analysis"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.45"},{"key":"ref16","first-page":"601","author":"tishby","year":"2011","journal-title":"Information Theory of Decisions and Actions"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760491"},{"key":"ref18","first-page":"1587","article-title":"Optimal policy generation for partially satisfiable co-safe LTL specifications","author":"lacerda","year":"2015","journal-title":"IJCAI"},{"journal-title":"A learning based optimal human robot collaboration with linear temporal logic constraints","year":"2017","author":"wu","key":"ref19"},{"key":"ref28","first-page":"53","article-title":"Automated verification techniques for probabilistic systems","volume":"11","author":"forejt","year":"2011","journal-title":"SFM"},{"key":"ref4","article-title":"An integrated planning and scheduling prototype for automated mars rover command generation","author":"sherwood","year":"2014","journal-title":"Sixth European Conference on Planning"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref3","first-page":"4911","article-title":"Increased mars rover autonomy using ai planning, scheduling and execution","author":"estlin","year":"2007","journal-title":"IEEE International Conference on Robotics and Automation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1287\/moor.12.3.441"},{"journal-title":"Elements of Information Theory","year":"2012","author":"cover","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1999.772438"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.85.461"},{"journal-title":"Finite state markov decision processes with transfer entropy costs","year":"2017","author":"tanaka","key":"ref7"},{"key":"ref2","article-title":"Advanced rover science autonomy experiments in preparation for the mars 2020 mission: Results from the 2016 canmars analogue mission","volume":"48","author":"francis","year":"2017","journal-title":"Lunar and Planetary Science Conference"},{"key":"ref9","first-page":"303","article-title":"Causality, feedback and directed information","author":"massey","year":"1990","journal-title":"Proc Int Symp on Information Theory Applications"},{"key":"ref1","article-title":"Helicopter could be scout for mars rovers","volume":"31","author":"landau","year":"2015","journal-title":"NASA News Release"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403398"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0710743106"},{"key":"ref21","article-title":"LQG control with minimum directed information: Semidefinite programming approach","author":"tanaka","year":"2017","journal-title":"IEEE Transactions on Automatic Control"},{"journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming","year":"2005","author":"puterman","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1972.1054855"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942756"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref25"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2018,12,17]]},"location":"Miami Beach, FL","end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08619683.pdf?arnumber=8619683","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T20:38:00Z","timestamp":1598215080000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8619683\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8619683","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}