{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:17:16Z","timestamp":1766067436153,"version":"3.37.3"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T00:00:00Z","timestamp":1629676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T00:00:00Z","timestamp":1629676800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T00:00:00Z","timestamp":1629676800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004359","name":"Swedish Research Council (VR)","doi-asserted-by":"publisher","award":["101016906"],"award-info":[{"award-number":["101016906"]}],"id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,8,23]]},"DOI":"10.1109\/case49439.2021.9551648","type":"proceedings-article","created":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T20:53:51Z","timestamp":1633640031000},"page":"2182-2187","source":"Crossref","is-referenced-by-count":10,"title":["A ROS Package for Human-In-the-Loop Planning and Control under Linear Temporal Logic Tasks"],"prefix":"10.1109","author":[{"given":"Robin","family":"Baran","sequence":"first","affiliation":[]},{"given":"Xiao","family":"Tan","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Varnai","sequence":"additional","affiliation":[]},{"given":"Pian","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Sofie","family":"Ahlberg","sequence":"additional","affiliation":[]},{"given":"Meng","family":"Guo","sequence":"additional","affiliation":[]},{"given":"Wenceslao Shaw","family":"Cortez","sequence":"additional","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2015.12.007"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirp.2009.09.009"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirp.2019.05.002"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4398998"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2008.4626549"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1016\/j.robot.2021.103866","volume-title":"Adaptive heterogeneous multi-robot collaboration from formal task specifications","author":"Schillinger","year":"2021"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/icra.2018.8460793"},{"volume-title":"Ltl 2 ba: fast translation from ltl formulae to b\u00fcchi automata","author":"Oddoux","key":"ref8"},{"key":"ref9","first-page":"240","article-title":"Motion and action planning under ltl specifications using navigation functions and action description language","volume-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems","author":"Guo","year":"2013"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6095059"},{"key":"ref11","first-page":"258","volume":"10","author":"Havoutis","year":"2016","journal-title":"Learning assistive teleoperation behaviors from demonstration"},{"volume-title":"Principles of model checking","year":"2008","author":"Baier","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8928-6_23"},{"volume-title":"Robotic operating system","key":"ref14"},{"volume-title":"ltl automaton core","author":"Baran","key":"ref15"},{"journal-title":"Youtube","article-title":"A human-in-the-loop, ltl planning and control ros package - turtlebot example demonstration","author":"Baran","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"volume-title":"Coin ms4 factory demonstration","author":"Baran","key":"ref20"},{"journal-title":"Youtube","article-title":"A human-in-the-loop, ltl planning and control ros package - factory setting demonstration","author":"Baran","key":"ref21"}],"event":{"name":"2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2021,8,23]]},"location":"Lyon, France","end":{"date-parts":[[2021,8,27]]}},"container-title":["2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9551387\/9551265\/09551648.pdf?arnumber=9551648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T01:27:36Z","timestamp":1706059656000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9551648\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,23]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/case49439.2021.9551648","relation":{},"subject":[],"published":{"date-parts":[[2021,8,23]]}}}