{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T09:49:15Z","timestamp":1777369755307,"version":"3.51.4"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T00:00:00Z","timestamp":1666137600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T00:00:00Z","timestamp":1666137600000},"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":[[2022,10,19]]},"DOI":"10.1109\/icstcc55426.2022.9931878","type":"proceedings-article","created":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T23:00:29Z","timestamp":1667862029000},"page":"306-311","source":"Crossref","is-referenced-by-count":4,"title":["Distributing Co-safe LTL Specifications to Mobile Robots"],"prefix":"10.1109","author":[{"given":"Ioana","family":"Hustiu","sequence":"first","affiliation":[{"name":"Faculty of Automatic Control and Control Engineering, “Technical University of Iasi,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Mahulea","sequence":"additional","affiliation":[{"name":"Aragon Institute of Engineering Research (I3A), University of Zaragoza,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Kloetzer","sequence":"additional","affiliation":[{"name":"Faculty of Automatic Control and Control Engineering, “Technical University of Iasi,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref11","first-page":"53","article-title":"Fast ltl to büchi automata translation","author":"gastin","year":"0","journal-title":"Proceedings of the 13th Conference on Computer Aided Verification (CAV'01) ser LNCS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298143"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918774135"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTCC50638.2020.9259659"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4"},{"key":"ref17","first-page":"185","article-title":"Reasoning about infinite compu-tation paths","author":"wolper","year":"0","journal-title":"Proc 24th IEEE Symp Found Comput Sci"},{"key":"ref4","author":"mahulea","year":"2020","journal-title":"Path Planning of Cooperative Mobile Robots Using Discrete Event Models"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2011.6094824"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.04.006"},{"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":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-019-00300-1"}],"event":{"name":"2022 26th International Conference on System Theory, Control and Computing (ICSTCC)","location":"Sinaia, Romania","start":{"date-parts":[[2022,10,19]]},"end":{"date-parts":[[2022,10,21]]}},"container-title":["2022 26th International Conference on System Theory, Control and Computing (ICSTCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9931693\/9931760\/09931878.pdf?arnumber=9931878","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T20:21:14Z","timestamp":1669666874000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9931878\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,19]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icstcc55426.2022.9931878","relation":{},"subject":[],"published":{"date-parts":[[2022,10,19]]}}}