{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T04:50:23Z","timestamp":1745038223238},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iros.2013.6696359","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:10:53Z","timestamp":1389010253000},"page":"240-245","source":"Crossref","is-referenced-by-count":5,"title":["Motion and action planning under LTL specifications using navigation functions and action description language"],"prefix":"10.1109","author":[{"family":"Meng Guo","sequence":"first","affiliation":[]},{"given":"Karl H.","family":"Johansson","sequence":"additional","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"17","article-title":"Correct, reactive robot control from abstraction and temporal logic specifications","author":"kress-gazit","year":"2011","journal-title":"IEEE Robotics and Automation magazine"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0196-8858(90)90017-S"},{"key":"13","article-title":"Revising motion planning under linear temporal logic specifications in partially known workspaces","author":"guo","year":"2013","journal-title":"IEEE International Conference on Robotics and Automation"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44585-4_6","article-title":"Fast LTL to Buchi automaton translation","author":"gastin","year":"2001","journal-title":"Proceedings of the 13th International Conference on Computer Aided Verification (CAV'01)"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377087"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2003.1242255"},{"journal-title":"Pddl the planning domain definition language","year":"1998","author":"ghallab","key":"22"},{"journal-title":"Action Languages","year":"1998","author":"gelfond","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2009.5152397"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"26","article-title":"Optimal multi-robot path planning with ltl constraints: Guaranteeing correctness through synchronization","author":"ulusoy","year":"2012","journal-title":"International Symposium on Distributed Autonomous Robotic Systems"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.851359"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942115"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426027"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90081-7"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-006-9113-x"}],"event":{"name":"2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2013)","start":{"date-parts":[[2013,11,3]]},"location":"Tokyo","end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679723\/6696319\/06696359.pdf?arnumber=6696359","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:23:37Z","timestamp":1498094617000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6696359\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/iros.2013.6696359","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}