{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T09:01:53Z","timestamp":1770627713277,"version":"3.49.0"},"reference-count":33,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Fundamentals"],"published-print":{"date-parts":[[2024,5,1]]},"DOI":"10.1587\/transfun.2023mai0001","type":"journal-article","created":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T22:50:35Z","timestamp":1696200635000},"page":"752-761","source":"Crossref","is-referenced-by-count":2,"title":["Extension of Counting LTL and Its Application to a Path Planning Problem for Heterogeneous Multi-Robot Systems"],"prefix":"10.1587","volume":"E107.A","author":[{"given":"Kotaro","family":"NAGAE","sequence":"first","affiliation":[{"name":"Graduate School of Engineering Science, Osaka University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshimitsu","family":"USHIO","sequence":"additional","affiliation":[{"name":"Faculty of Science and Tehcnology, Nanzan University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] S. Hoshino, H. Seki, Y. Naka, and J. Ota, \u201cMultirobot coordination for flexible batch manufacturing systems experiencing bottlenecks,\u201d IEEE Trans. Automat. Sci. Eng., vol.7, no.4, pp.887-901, 2010. 10.1109\/tase.2010.2047857","DOI":"10.1109\/TASE.2010.2047857"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] J.P. Queralta, J. Taipalmaa, B.C Pullinen, V.K. Sarker, T.N. Gia, H. Tenhunen, M. Gabbouj, J. Raitoharju, and T. Westerlund, \u201cCollaborative multi-robot search and rescue: Planning, coordination, perception, and active vision,\u201d IEEE Access, vol.8, pp.191617-191643, 2020. 10.1109\/access.2020.3030190","DOI":"10.1109\/ACCESS.2020.3030190"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Y. Rizk, M. Awad, and E.W. Tunstel, \u201cCooperative heterogeneous multi-robot systems: A survey,\u201d ACM Comput. Survey, vol.52, no.2, pp.1-31, 2019. 10.1145\/3303848","DOI":"10.1145\/3303848"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] M. Luckcuck, M. Farrell, L.A. Dennis, C. Dixon, and M. Fisher, \u201cFormal specification and verification of autonomous robotic systems: A survey,\u201d ACM Comput. Surv., vol.52, no.5, pp.1-41, 2019. 10.1145\/3342355","DOI":"10.1145\/3342355"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] C. Mahulea, M. Kloetzer, and R. Gonz\u00e1lez, Path Planning of Cooperative Mobile Robots Using Discrete Event Models, IEEE Press, 2020. 10.1002\/9781119486305","DOI":"10.1002\/9781119486305"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] C. Belta, B. Yordanov, and E.A. Gol, Formal Methods for Discrete-Time Dynamical Systems, Springer, 2017. 10.1007\/978-3-319-50763-7","DOI":"10.1007\/978-3-319-50763-7"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] M. Kloetzer and C. Belta, \u201cAutomatic deployment of distributed teams of robots from temporal logic motion specifications,\u201d IEEE Trans. Robot., vol.26, no.1, pp.48-61, 2010. 10.1109\/tro.2009.2035776","DOI":"10.1109\/TRO.2009.2035776"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] K. Kobayashi, T. Nagami, and K. Hiraishi, \u201cOptimal control of multi-vehicle systems with temporal logic constraints,\u201d IEICE Trans. Fundamentals, vol.E98-A, no.2, pp.626-634, 2015. 10.1587\/transfun.E98.A.626","DOI":"10.1587\/transfun.E98.A.626"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] L. Lindemann, J. Nowak, L. Sch\u00f6nb\u00e4chler, M. Guo, J. Tumova, and D.V. Dimarogonas, \u201cCoupled multi-robot systems under linear temporal Llogic and signal temporal logic tasks,\u201d IEEE Trans. Control Syst. Technol., vol.29, no.2, pp.858-865, 2021. 10.1109\/TCST.2019.2955628","DOI":"10.1109\/TCST.2019.2955628"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] A.T. Buyukkocak, D. Aksaray, and Y. Yaz\u0131c\u0131o\u011flu, \u201cPlanning of heterogeneous multi-agent systems under signal temporal logic specifications with integral predicates,\u201d IEEE Robot. Autom. Lett., vol.6, no.2, pp.1375-1382, 2021. 10.1109\/lra.2021.3057049","DOI":"10.1109\/LRA.2021.3057049"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] K. Leahy, Z. Serlin, C.I. Vasile, A. Schoer, A.M. Jones, R. Tron, and C. Belta, \u201cScalable and robust algorithms for task-based coordination from high-level specifications (ScRATCHeS),\u201d IEEE Trans. Robot., vol.38, no.4, pp.2516-2535, 2022. 10.1109\/tro.2021.3130794","DOI":"10.1109\/TRO.2021.3130794"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] R. Yan, Z. Xu, and A. Julius, \u201cSwarm signal temporal logic inference for swarm behavior analysis,\u201d IEEE Robot. Autom. Lett., vol.4, no.3, pp.3021-3028, 2019. 10.1109\/lra.2019.2924843","DOI":"10.1109\/LRA.2019.2924843"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] M. Guo and D.V. Dimaroganas, \u201cMulti-agent plan reconfiguration under local LTL specifications,\u201d The International Journal of Robotics Research, vol.34, no.2, pp.218-235, 2015. 10.1177\/0278364914546174","DOI":"10.1177\/0278364914546174"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] I. Filippidis, D.V. Dimaroganas, and K. Kyriakopoulos, \u201cDecentralized multi-agent control from local LTL specifications,\u201d Proc. 51st IEEE Conf. CDC, pp.6235-6240, 2012. 10.1109\/CDC.2012.6426027","DOI":"10.1109\/CDC.2012.6426027"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] J. Tumova and D.V. Dimaroganas, \u201cMulti-agent planning under local LTL specifications and event-based synchronization,\u201d Automatica, vol.70, pp.239-248, 2016. 10.1016\/j.automatica.2016.04.006","DOI":"10.1016\/j.automatica.2016.04.006"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Y. Kantaros and M.M. Zavlanos, \u201cSampling-based optimal control synthesis for multirobot systems under global temporal tasks,\u201d IEEE Trans. Autom. Control, vol.64, no.5, pp.1916-1931, 2018. 10.1109\/TAC.2018.2853558","DOI":"10.1109\/TAC.2018.2853558"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] M. Kloetzer and C. Mahulea, \u201cPath planning for robotic teams based on LTL specifications and Petri net models,\u201d Discrete Event Dyn. Syst., vol.30, pp.55-79, 2020. 10.1007\/s10626-019-00300-1","DOI":"10.1007\/s10626-019-00300-1"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] K. Leahy, A. Jone, and C.-I. Vasile, \u201cFast decomposition of temporal logic specifications for heterogeneous teams,\u201d IEEE Robot. Autom. Lett., vol.7, no.2, pp.2297-2304, 2022. 10.1109\/lra.2022.3143304","DOI":"10.1109\/LRA.2022.3143304"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] X. Luo and M.M. Zavlanos, \u201cTemporal logic task allocation in heterogeneous multi-robot systems,\u201d IEEE Trans. Robot., vol.38, no.6, pp.3602-3621, 2022. 10.1109\/tro.2022.3181948","DOI":"10.1109\/TRO.2022.3181948"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] Z. Xu and A.A. Julius, \u201cCensus signal temporal logic inference for multiagent group behavior analysis,\u201d IEEE Trans. Autom. Sci. Eng., vol.15, no.1, pp.264-277, 2018. 10.1109\/tase.2016.2611536","DOI":"10.1109\/TASE.2016.2611536"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Y.E. Sahin, P. Nilsson, and N. Ozay, \u201cMultirobot coordination with counting temporal logics,\u201d IEEE Trans. Robot., vol.36, no.4, pp.1189-1206, 2020. 10.1109\/tro.2019.2957669","DOI":"10.1109\/TRO.2019.2957669"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] Y. Dumas, J. Derosiers, and F. Soumis, \u201cThe pickup and delivery problem with time windows,\u201d European Journal of Operational Research, vol.54, pp.7-22, 1991. 10.1016\/0377-2217(91)90319-q","DOI":"10.1016\/0377-2217(91)90319-Q"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Y. Morihiro, T. Miyamoto, and S. Kumagai, \u201cRouting autonomous vehicles in the improving initial task assignment and avoiding deadlock method,\u201d IEICE Trans. Fundamentals, vol.E91-A, no.11, pp.3229-3236, Nov. 2008. 10.1093\/ietfec\/e91-a.11.3229","DOI":"10.1093\/ietfec\/e91-a.11.3229"},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] T. Miyamoto and K. Inoue, \u201cLocal and random searches for dispatch and conflict-free routing problem of capacitated AGV systems,\u201d Computres &amp; IndustrialEngineering, vol.91, pp.1-9, 2016. 10.1016\/j.cie.2015.10.017","DOI":"10.1016\/j.cie.2015.10.017"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Z. Chen, J. Alonso-Mora, X. Bai, D.D. Harabor, and P.J. Stuckey, \u201cIntegrated task assignment and path planning for capacitated multi-agent pickup and delivery,\u201d IEEE Robot. Autom. Lett., vol.6, no.3, pp.5816-5823, 2021. 10.1109\/lra.2021.3074883","DOI":"10.1109\/LRA.2021.3074883"},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] K. Dorling, J. Heinrichs, G.G. Messier, and S. Magierowski, \u201cVehicle routing problems for drone delivery,\u201d IEEE Trans. Syst., Man, Cybern., Syst., vol.47, no.1, pp.70-85, 2017. 10.1109\/tsmc.2016.2582745","DOI":"10.1109\/TSMC.2016.2582745"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] N. Mathew, S.L. Smith, and S.L. Waslander, \u201cPlanning paths for packages delivery in heterogeneous multirobot teams,\u201d IEEE Trans. Autom. Sci. Eng., vol.12, no.4, pp.1298-1308, 2015. 10.1109\/tase.2015.2461213","DOI":"10.1109\/TASE.2015.2461213"},{"key":"28","doi-asserted-by":"publisher","unstructured":"[28] X. Bai, M. Cao, W. Yan, and S.S. Ge, \u201cEfficient routing for precedence-constrained package delivery for heterogeneous vehicles,\u201d IEEE Trans. Autom. Sci. Eng., vol.17, no.1, pp.248-260, 2020. 10.1109\/tase.2019.2914113","DOI":"10.1109\/TASE.2019.2914113"},{"key":"29","unstructured":"[29] G.D. Giacomo, E.M. Wolff, and M.Y. Vardi, \u201cLinear temporal logic and linear dynamic logic on finite traces,\u201d Proc. Twenty-Third International Joint Conference on Artificial Intelligence, pp.854-860, 2013."},{"key":"30","doi-asserted-by":"publisher","unstructured":"[30] J. Li, G. Pu, Y. Zhang, M.Y. Vardi, and K.Y. Rozier, \u201cSAT-based explicit LTL<i><sub>f<\/sub><\/i> satisfiability checking,\u201d Artificial Intelligence, vol.289, article no.103369, 2020. 10.1016\/j.artint.2020.103369","DOI":"10.1016\/j.artint.2020.103369"},{"key":"31","doi-asserted-by":"crossref","unstructured":"[31] O. Lichtenstein, A. Pnueli, and L.D. Zuck, \u201cThe glory of the past,\u201d Proc. Conference on Logics of Programs, Lecture Notes in Computer Science, vol.193, pp.431-424, 1985. 10.1007\/3-540-15648-8_16","DOI":"10.1007\/3-540-15648-8_16"},{"key":"32","unstructured":"[32] K. Nagae, \u201cPath planning for heterogeneous multi-robot systems under counting LTL specifications with package delivery,\u201d Master Thesis, Division of Mathematical Science for Social Systems, Department of Systems Innovation, Graduate School of Engineering Science, Osaka University, 2023."},{"key":"33","unstructured":"[33] https:\/\/www.gurobi.com\/"}],"container-title":["IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transfun\/E107.A\/5\/E107.A_2023MAI0001\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T03:21:52Z","timestamp":1714792912000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transfun\/E107.A\/5\/E107.A_2023MAI0001\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,1]]},"references-count":33,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024]]}},"URL":"https:\/\/doi.org\/10.1587\/transfun.2023mai0001","relation":{},"ISSN":["0916-8508","1745-1337"],"issn-type":[{"value":"0916-8508","type":"print"},{"value":"1745-1337","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,1]]},"article-number":"2023MAI0001"}}