{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:54:03Z","timestamp":1766066043432,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1109\/iros.2010.5650896","type":"proceedings-article","created":{"date-parts":[[2010,12,11]],"date-time":"2010-12-11T02:37:26Z","timestamp":1292035046000},"page":"3288-3293","source":"Crossref","is-referenced-by-count":33,"title":["Optimal path planning under temporal logic constraints"],"prefix":"10.1109","author":[{"given":"S L","family":"Smith","sequence":"first","affiliation":[]},{"given":"J","family":"Tumova","sequence":"additional","affiliation":[]},{"given":"C","family":"Belta","sequence":"additional","affiliation":[]},{"given":"D","family":"Rus","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"The Vehicle Routing Problem","year":"2001","author":"toth","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739366"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.automatica.2003.08.001","article-title":"A control problem for affine dynamical systems on a full-dimensional polytope","volume":"40","author":"habets","year":"2004","journal-title":"Automatica"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650896"},{"key":"ref15","first-page":"3","article-title":"Simple on-the-fly automatic verification of linear temporal logic","author":"gerth","year":"1995","journal-title":"Protocol Specification Testing and Verification"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-44585-4_6","article-title":"Fast LTL to Büchi automata translation","author":"gastin","year":"2001","journal-title":"Conf on Computer-Aided Verification"},{"key":"ref17","volume":"21","author":"korte","year":"2007","journal-title":"Combinatorial Optimization Theory and Algorithms"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.851359"},{"key":"ref3","first-page":"4417","article-title":"Multi-robot motion planning: A timed automata approach","author":"quottrup","year":"2004","journal-title":"Proc ICRA"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399536"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref7","first-page":"322","article-title":"An automata-theoretic approach to automatic program verification","author":"vardi","year":"1986","journal-title":"Logic in Computer Science"},{"key":"ref2","first-page":"153","article-title":"Automatic synthesis of multiagent motion tasks based on LTL specifications","author":"loizou","year":"2004","journal-title":"Proc CDC"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1995.525480"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HiBi.2009.10"}],"event":{"name":"2010 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2010)","start":{"date-parts":[[2010,10,18]]},"location":"Taipei","end":{"date-parts":[[2010,10,22]]}},"container-title":["2010 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5639431\/5648787\/05650896.pdf?arnumber=5650896","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T17:07:41Z","timestamp":1497892061000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5650896\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iros.2010.5650896","relation":{},"subject":[],"published":{"date-parts":[[2010,10]]}}}