{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:28:14Z","timestamp":1759332494235},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/robio.2013.6739543","type":"proceedings-article","created":{"date-parts":[[2014,3,20]],"date-time":"2014-03-20T15:25:58Z","timestamp":1395329158000},"page":"704-709","source":"Crossref","is-referenced-by-count":11,"title":["A graphical language for LTL motion and mission planning"],"prefix":"10.1109","author":[{"given":"Shashank","family":"Srinivas","sequence":"first","affiliation":[]},{"given":"Ramtin","family":"Kermani","sequence":"additional","affiliation":[]},{"given":"Kangjin","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Yoshihiro","family":"Kobayashi","sequence":"additional","affiliation":[]},{"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ROMAN.2011.6005235"},{"key":"17","first-page":"1739","article-title":"Using a sketch pad interface for interacting with a robot team","author":"skubic","year":"2005","journal-title":"Proceedings of the 20th National Conference on Artificial Intelligence-Volume 4"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5649345"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1518701.1518733"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/IVCNZ.2010.6148868"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152776"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"12","article-title":"Tell me when and why to do it!: Runtime planner model updates via natural language instruction","author":"cantrell","year":"2012","journal-title":"7th ACM\/IEEE International Conference on Human-Robot Interaction"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-007-0012-6"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1121241.1121285"},{"key":"22","first-page":"42","article-title":"A graphical property specification language","author":"lee","year":"1997","journal-title":"IEEE High-Assurance System Engineering Workshop"},{"key":"23","article-title":"Events and constraints: A graphical editor for capturing logic properties of programs","author":"smith","year":"2001","journal-title":"5th International Symposium on Requirements Engineering"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ROBIO.2013.6739543"},{"year":"0","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/VL.1995.520786"},{"journal-title":"Introduction to Algorithms","year":"2001","author":"cormen","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"3","article-title":"Revising motion planning under linear temporal logic specifications in partially known workspaces","author":"guo","year":"2013","journal-title":"Proceedings of the IEEE Conference on Robotics and Automation"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224807"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6094884"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.943479"},{"key":"6","article-title":"Controlling wild bodies using linear temporal logic","author":"bobadilla","year":"2011","journal-title":"Proceedings of Robotics Science and Systems"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696978"},{"key":"4","article-title":"Minimum-violating planning with conflicting specifications","author":"tumova","year":"2013","journal-title":"American Control Conference"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224826"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979895"}],"event":{"name":"2013 IEEE International Conference on Robotics and Biomimetics (ROBIO)","start":{"date-parts":[[2013,12,12]]},"location":"Shenzhen, China","end":{"date-parts":[[2013,12,14]]}},"container-title":["2013 IEEE International Conference on Robotics and Biomimetics (ROBIO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6725829\/6739425\/06739543.pdf?arnumber=6739543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T16:22:55Z","timestamp":1490286175000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6739543\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/robio.2013.6739543","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}