{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:38:23Z","timestamp":1740101903343,"version":"3.37.3"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["2008720"],"award-info":[{"award-number":["2008720"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,29]]},"DOI":"10.1109\/icra48891.2023.10160692","type":"proceedings-article","created":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T17:20:56Z","timestamp":1688491256000},"page":"9764-9770","source":"Crossref","is-referenced-by-count":1,"title":["Efficient Inference of Temporal Task Specifications from Human Demonstrations using Experiment Design"],"prefix":"10.1109","author":[{"given":"Shlok","family":"Sobti","sequence":"first","affiliation":[{"name":"Rice University,Department of Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Shome","sequence":"additional","affiliation":[{"name":"Rice University,Department of Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lydia E.","family":"Kavraki","sequence":"additional","affiliation":[{"name":"Rice University,Department of Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/70.508439"},{"year":"2008","author":"baier","journal-title":"Principles of Model Checking","key":"ref12"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1109\/TSSC.1968.300136"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ROBOT.2010.5509503"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1177\/02783640122067453"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1016\/j.expthermflusci.2011.09.012"},{"key":"ref30","article-title":"Interactive robot training for non-Markov tasks","volume":"abs 2003 2232","author":"shah","year":"2020","journal-title":"ArXiv"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.15607\/RSS.2020.XVI.097"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"55e","DOI":"10.7717\/peerj-cs.55","article-title":"Probabilistic program-ming in python using PyMC3","volume":"2","author":"salvatier","year":"2016","journal-title":"PeerJ Computer Science"},{"key":"ref10","article-title":"Learning task specifications from demonstrations","volume":"31","author":"vazquez-chanlatte","year":"2018","journal-title":"Advances in Neu-ral Information Processing Systems"},{"key":"ref32","first-page":"1","article-title":"Exchangeability and related topics","author":"aldous","year":"1985","journal-title":"Ecole D’ÉtÉ De ProbabilitÉs De Saint-Flour XIII - 1983"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.15607\/RSS.2014.X.031"},{"key":"ref1","article-title":"PDDL-the planning domain definition language","author":"ghallab","year":"1998","journal-title":"AIPS"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1177\/0278364918761570"},{"key":"ref16","first-page":"346","article-title":"Towards ma-nipulation planning with temporal logic specifications","author":"he","year":"2015","journal-title":"Proceedings of the IEEE International Conference on Robotics and Automation"},{"key":"ref19","first-page":"6928","article-title":"A sampling-based motion planning framework for complex motor actions","author":"sobti","year":"2021","journal-title":"Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1146\/annurev-control-100819-063206"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1609\/icaps.v29i1.3529"},{"key":"ref23","first-page":"5591","article-title":"Bayesian inference of linear temporal logic specifications for contrastive ex-planations","author":"kim","year":"2019","journal-title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence International Joint Conferences on Artificial Intelligence Organization"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/CDC.2017.8264386"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.24963\/ijcai.2020\/306"},{"key":"ref20","first-page":"7390","article-title":"Inverse constrained reinforcement learning","author":"malik","year":"2021","journal-title":"Int Conference on Machine Learning"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-642-54593-1_13"},{"key":"ref21","article-title":"Value alignment or misalignment - “what will keep systems accountable?","author":"arnold","year":"0","journal-title":"AAAI Workshop on AI Ethics and Society"},{"key":"ref28","first-page":"216","article-title":"Feature expan-sive reward learning: rethinking human input","author":"bobu","year":"2021","journal-title":"Proceedings of the 2021 ACM\/ IEEE International Conference on Human-Robot Interaction"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/2157689.2157693"},{"key":"ref29","article-title":"Active learning for teaching a robot grounded relational symbols","author":"kulick","year":"2013","journal-title":"IJCAI International Joint Conference on Artificial Intelligence"},{"key":"ref8","article-title":"Mt*: multi-robot path planning for temporal logic specifications","author":"gujarathi","year":"2021","journal-title":"ArXiv Preprint"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.15607\/RSS.2020.XVI.004"},{"key":"ref9","article-title":"Bayesian inference of temporal task specifications from demonstrations","volume":"31","author":"shah","year":"2018","journal-title":"Advances in neural information processing systems"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/LRA.2020.2967280"},{"year":"2018","author":"colledanchise","journal-title":"Behavior trees in robotics and AI an introduction","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.3233\/AIC-150682"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/SFCS.1977.32"}],"event":{"name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2023,5,29]]},"location":"London, United Kingdom","end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10160211\/10160212\/10160692.pdf?arnumber=10160692","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T17:33:41Z","timestamp":1690220021000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10160692\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,29]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icra48891.2023.10160692","relation":{},"subject":[],"published":{"date-parts":[[2023,5,29]]}}}