{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T06:45:40Z","timestamp":1751093140904,"version":"3.37.3"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,13]],"date-time":"2023-06-13T00:00:00Z","timestamp":1686614400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,13]],"date-time":"2023-06-13T00:00:00Z","timestamp":1686614400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100016123","name":"Fundaci\u00f3n Bancaria Ibercaja","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100016123","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100013403","name":"TED","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100013403","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,13]]},"DOI":"10.23919\/ecc57647.2023.10178302","type":"proceedings-article","created":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T18:00:50Z","timestamp":1690912850000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets"],"prefix":"10.23919","author":[{"given":"Sofia","family":"Hustiu","sequence":"first","affiliation":[{"name":"Technical University ”Gheorghe Asachi” of Iasi,Dept. of Automatic Control and Applied Informatics,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology,Division of Decision and Control System,Stockholm,Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Mahulea","sequence":"additional","affiliation":[{"name":"Aragón Institute of Engineering Research (I3A), University of Zaragoza, Maria de Luna 1,Zaragoza,Spain,50018"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Kloetzer","sequence":"additional","affiliation":[{"name":"Technical University ”Gheorghe Asachi” of Iasi,Dept. of Automatic Control and Applied Informatics,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1177\/0020294020964840"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2611536"},{"key":"ref15","first-page":"947","article-title":"Generalized mutual exclusion constraints for Petri nets with uncontrollable transitions","author":"giua","year":"1992","journal-title":"IEEE Int Conf on Systems Man and Cybernetics"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_17"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2021.103990"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8795925"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTCC50638.2020.9259659"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.23919\/ECC55457.2022.9838207"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.050"},{"key":"ref17","first-page":"45","article-title":"The theory of timed automata","author":"alur","year":"1991","journal-title":"Workshop\/School\/Symposium of the REX Project (Research and Education in Concurrent Systems)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_41"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0214-9"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75454-1_12"},{"journal-title":"On multi-robot path planning based on Petri net models and LTL specifications","year":"2022","author":"hustiu","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/11867340_20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_3"},{"key":"ref21","first-page":"152","article-title":"From MTL to deterministic timed automata","author":"ni?kovi\u00e9","year":"2010","journal-title":"Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTCC.2019.8886091"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648102"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2760249"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.12.022"},{"journal-title":"Decentralized multiagent coordination under MITL specifications and communication constraints","year":"2022","author":"wang","key":"ref7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2017.07.012"},{"journal-title":"Path Planning of Cooperative Mobile Robots Using Discrete Event Models","year":"2020","author":"mahulea","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2893161"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963221"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2628389"}],"event":{"name":"2023 European Control Conference (ECC)","start":{"date-parts":[[2023,6,13]]},"location":"Bucharest, Romania","end":{"date-parts":[[2023,6,16]]}},"container-title":["2023 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10178092\/10178115\/10178302.pdf?arnumber=10178302","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T17:33:22Z","timestamp":1692034402000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10178302\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,13]]},"references-count":30,"URL":"https:\/\/doi.org\/10.23919\/ecc57647.2023.10178302","relation":{},"subject":[],"published":{"date-parts":[[2023,6,13]]}}}