{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T21:47:44Z","timestamp":1777499264124,"version":"3.51.4"},"reference-count":61,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000006","name":"ONR","doi-asserted-by":"publisher","award":["N00014-18-1-2374"],"award-info":[{"award-number":["N00014-18-1-2374"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-19-1-0169"],"award-info":[{"award-number":["FA9550-19-1-0169"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Robot."],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1109\/tro.2021.3061983","type":"journal-article","created":{"date-parts":[[2021,3,24]],"date-time":"2021-03-24T20:02:30Z","timestamp":1616616150000},"page":"1487-1507","source":"Crossref","is-referenced-by-count":57,"title":["An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis"],"prefix":"10.1109","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4342-7234","authenticated-orcid":false,"given":"Xusheng","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0257-7378","authenticated-orcid":false,"given":"Yiannis","family":"Kantaros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1748-8228","authenticated-orcid":false,"given":"Michael M.","family":"Zavlanos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2849003"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263808"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00024"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9030087"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920913922"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8618922"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1715"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055021"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2018.2861901"},{"key":"ref60","author":"rudin","year":"2006","journal-title":"Real and Complex Analysis"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/116873.116880"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055027"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2015.7421315"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2853558"},{"key":"ref2","author":"choset","year":"2005","journal-title":"Principles of Robot Motion Theory Algorithms and Implementations"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2003.1249705"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55146-8_24"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.851359"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428674"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2018.10.002"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_27"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2593045"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.aay6276"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-2(5:5)2006"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60916-4_20"},{"key":"ref56","first-page":"53","article-title":"Fast LTL to Büchi automata translation","author":"gastin","year":"0","journal-title":"Proc Int Conf Comput Aided Verification"},{"key":"ref55","author":"kreveld","year":"2000","journal-title":"Computational Geometry Algorithms and Applications"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2670643"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6048842"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2897865"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-015-9519-z"},{"key":"ref11","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref40","first-page":"2222","article-title":"Sampling-based motion planning with deterministic $\\mu$-calculus specifications","author":"karaman","year":"0","journal-title":"Proc 48 th IEEE Conf Decis Control Held Jointly 2009 28th Chin Control Conf"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref13","first-page":"3116","author":"kress-gazit","year":"0","journal-title":"Proc IEEE Int Conf Robot Automat"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160740"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2163434"},{"key":"ref16","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844730"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2016.7587878"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989036"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1080\/00949655.2015.1081907"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2626400"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref45","first-page":"332","article-title":"An automata-theoretic approach to automatic program verification","author":"vardi","year":"0","journal-title":"Proc 1st Symp Log Comput Sci"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1177\/0278364919856695"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196553"},{"key":"ref42","first-page":"4817","article-title":"Sampling-based temporal logic path planning","author":"vasile","year":"0","journal-title":"Proc IEEE\/RSJ Int Conf Intell Robots Syst"},{"key":"ref41","first-page":"735","article-title":"Sampling-based algorithms for optimal motion planning with deterministic $\\mu$-calculus specifications","author":"karaman","year":"0","journal-title":"Proc Amer Control Conf"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"}],"container-title":["IEEE Transactions on Robotics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8860\/9556521\/09385707.pdf?arnumber=9385707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T23:20:23Z","timestamp":1637191223000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9385707\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10]]},"references-count":61,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tro.2021.3061983","relation":{},"ISSN":["1552-3098","1941-0468"],"issn-type":[{"value":"1552-3098","type":"print"},{"value":"1941-0468","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10]]}}}