{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T20:54:50Z","timestamp":1764276890240,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/cdc.2017.8264386","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T15:30:57Z","timestamp":1516721457000},"page":"4914-4921","source":"Crossref","is-referenced-by-count":16,"title":["Interpretable apprenticeship learning with temporal logic specifications"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Kasenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Scheutz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/1806799.1806806"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1177\/0278364914546174"},{"year":"2012","author":"hadka","journal-title":"MOEA Framework A Free and Open Source Java Framework for Multiobjective Optimization","key":"ref12"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/2562059.2562146"},{"key":"ref14","volume":"1","author":"koza","year":"1992","journal-title":"Genetic Programming On the Programming of Computers by Means of Natural Selection"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"3664","DOI":"10.1609\/aaai.v29i1.9670","article-title":"This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction","volume":"29","author":"lahijanian","year":"2015","journal-title":"Proceedings of the AAAI Conference on Artificial Intelligence"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/CDC.2015.7403291"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/ASE.2015.71"},{"year":"2016","author":"macglashan","journal-title":"The Brown-UMBC Reinforcement Learning and Planning (BURLAP)","key":"ref18"},{"key":"ref19","first-page":"663","article-title":"Algorithms for inverse reinforcement learning","volume":"0","author":"ng","year":"2000","journal-title":"Proc Seventeenth International Conference on Machine Learning"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/2739482.2768475"},{"year":"2008","author":"baier","journal-title":"Principles of Model Checking","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/ROBOT.2009.5152776"},{"key":"ref5","first-page":"3515","article-title":"LTL control in uncertain environments with probabilistic satisfaction guarantees","volume":"18","author":"ding","year":"2011","journal-title":"IFAC World Congress Proceedings"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.15607\/RSS.2014.X.039"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-319-08867-9_13"},{"key":"ref2","article-title":"Value alignment or misalignment-what will keep systems accountable?","author":"arnold","year":"2017","journal-title":"3rd International Workshop on AI Ethics and Society"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/1368088.1368096"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/1015330.1015430"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/SFCS.1977.32"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/ACC.2014.6858909"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/CDC.2013.6760374"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1145\/2461328.2461330"},{"key":"ref23","first-page":"233","article-title":"Temporal logic motion planning using POMDPs with parity objectives","author":"svore?ov\u00e1","year":"2015","journal-title":"Proceedings of the 18th International Conference on Hybrid Systems Computation and Control"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/CDC.2012.6426174"}],"event":{"name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2017,12,12]]},"location":"Melbourne, Australia","end":{"date-parts":[[2017,12,15]]}},"container-title":["2017 IEEE 56th Annual Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8253407\/8263624\/08264386.pdf?arnumber=8264386","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,12]],"date-time":"2022-08-12T22:16:20Z","timestamp":1660342580000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8264386\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/cdc.2017.8264386","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}