{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T06:19:21Z","timestamp":1770358761913,"version":"3.49.0"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2017,4,1]],"date-time":"2017-04-01T00:00:00Z","timestamp":1491004800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1109\/tase.2016.2628389","type":"journal-article","created":{"date-parts":[[2016,12,9]],"date-time":"2016-12-09T21:41:29Z","timestamp":1481319689000},"page":"797-808","source":"Crossref","is-referenced-by-count":35,"title":["Task and Motion Coordination for Heterogeneous Multiagent Systems With Loosely Coupled Local Tasks"],"prefix":"10.1109","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4562-854X","authenticated-orcid":false,"given":"Meng","family":"Guo","sequence":"first","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"240","article-title":"Motion and action planning under LTL specifications using navigation functions and action description language","author":"guo","year":"2013","journal-title":"Proc IEEE\/RSJ Int Conf Intell Robots Syst (IROS)"},{"key":"ref11","first-page":"2758","article-title":"Reconfiguration in motion planning of single- and multi-agent systems under infeasible local LTL specifications","author":"guo","year":"2013","journal-title":"Proc IEEE Conf Decision Control (CDC)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2015.7294103"},{"key":"ref14","year":"2015","journal-title":"Gurobi Optimization Tool"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-6838"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160478"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/CDC.2005.1582134","article-title":"Automatic synthesis of multi-agent motion tasks based on LTL specifications","author":"loizou","year":"2005","journal-title":"Proc IEEE Conf Decision Control (CDC)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref27","author":"wolsey","year":"1998","journal-title":"Integer Programming"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-009-0152-y"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2426203"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979895"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref2","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_6"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.077"},{"key":"ref22","first-page":"127","article-title":"Bidirectional search","volume":"6","author":"pohl","year":"1971","journal-title":"Mach Intell"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755968"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859413"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.911688"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"ref25","year":"2015","journal-title":"Videos"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/7892903\/07778995.pdf?arnumber=7778995","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:39:30Z","timestamp":1641987570000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7778995\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":27,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tase.2016.2628389","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4]]}}}