Extension of Counting LTL and Its Application to a Path Planning Problem for Heterogeneous Multi-Robot Systems. - Kotaro Nagae; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2024)