{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T11:20:18Z","timestamp":1780053618792,"version":"3.54.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,13]]},"DOI":"10.1109\/icra57147.2024.10611519","type":"proceedings-article","created":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T17:51:05Z","timestamp":1723139465000},"page":"257-263","source":"Crossref","is-referenced-by-count":2,"title":["An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty"],"prefix":"10.1109","author":[{"given":"Kaier","family":"Liang","sequence":"first","affiliation":[{"name":"Lehigh University,Mechanical Engineering and Mechanics Department,PA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gustavo A.","family":"Cardona","sequence":"additional","affiliation":[{"name":"Lehigh University,Mechanical Engineering and Mechanics Department,PA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cristian-Ioan","family":"Vasile","sequence":"additional","affiliation":[{"name":"Lehigh University,Mechanical Engineering and Mechanics Department,PA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27702-8_42"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-77036-5_7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2020.3033753"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3390\/app9081702"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.04.006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920913922"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993288"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9981291"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-21090-7_14"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913487931"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160335"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"ref14","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings","author":"Maler"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3130794"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3138766"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1038\/sj.jors.2600425"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmaa.2005.05.009"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7744-1_2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref22","first-page":"231","volume-title":"5th International Conference on Runtime Verification, Toronto, ON, Canada., ch. On-Line Monitoring for Temporal Logic Robustness","author":"Dokhanchi"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3146951"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3172857"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.4249\/scholarpedia.1482"},{"key":"ref28","article-title":"Gurobi optimizer reference manual","author":"Gurobi Optimization","year":"2020"},{"key":"ref29","article-title":"A flexible and efficient temporal logic tool for python: Pytelo","author":"Cardona","year":"2023"},{"key":"ref30","volume-title":"The definitive ANTLR reference: building domain-specific languages","author":"Parr","year":"2007"},{"key":"ref31","article-title":"Ltl optimal multi-agent planner (lomap)","author":"Vasile","year":"2024"},{"key":"ref32","first-page":"11","article-title":"Exploring network structure, dynamics, and function using networkx","volume-title":"Proceedings of the 7th Python in Science Conference","author":"Hagberg"}],"event":{"name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","location":"Yokohama, Japan","start":{"date-parts":[[2024,5,13]]},"end":{"date-parts":[[2024,5,17]]}},"container-title":["2024 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10609961\/10609862\/10611519.pdf?arnumber=10611519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,11]],"date-time":"2024-08-11T04:08:05Z","timestamp":1723349285000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10611519\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icra57147.2024.10611519","relation":{},"subject":[],"published":{"date-parts":[[2024,5,13]]}}}