{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:29:58Z","timestamp":1759638598417,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/cdc.2008.4739366","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T17:57:15Z","timestamp":1232474235000},"page":"3953-3958","source":"Crossref","is-referenced-by-count":64,"title":["Vehicle Routing Problem with Metric Temporal Logic Specifications"],"prefix":"10.1109","author":[{"given":"Sertac","family":"Karaman","sequence":"first","affiliation":[]},{"given":"Emilio","family":"Frazzoli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.2514\/6.2003-5802"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1057\/palgrave.jors.2602176"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.33"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718515"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"year":"0","key":"24"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"16","first-page":"177","article-title":"two formulations of the vehicle routing problem: an emprical application and computational experience","volume":"32","author":"onal","year":"1996","journal-title":"Logistics and Transportation Review"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.2514\/6.2008-6838","article-title":"vehicle routing using linear temporal logic: applications to multi-uav mission planning","author":"karaman","year":"2008","journal-title":"AIAA Conference on Guidance Navigation and Control"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"11","doi-asserted-by":"crossref","first-page":"580","DOI":"10.1007\/BFb0055086","article-title":"the regular realtime languages","volume":"1443","author":"henzinger","year":"1998","journal-title":"Lecture Notes in Computer Science LNCS"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586787"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.2514\/6.2004-6410"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(03)00265-0"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"},{"key":"1","article-title":"coordination and control of multiple uavs with timing contraints and loitering","author":"alighanbari","year":"2003","journal-title":"American Control Conference"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185551"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1287\/trsc.1030.0056"},{"key":"6","article-title":"multi-task allocation and path planning for cooperating uavs","author":"bellingham","year":"2001","journal-title":"Cooperative Control Models Applications and Algorithms"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1057\/palgrave.jors.2601402"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/174644.174651"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1287\/trsc.1030.0057"}],"event":{"name":"2008 47th IEEE Conference on Decision and Control","start":{"date-parts":[[2008,12,9]]},"location":"Cancun, Mexico","end":{"date-parts":[[2008,12,11]]}},"container-title":["2008 47th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4721212\/4738560\/04739366.pdf?arnumber=4739366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:52:23Z","timestamp":1602690743000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4739366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cdc.2008.4739366","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}