Extension of Counting LTL and Its Application to a Path Planning Problem for Heterogeneous Multi-Robot Systems Kotaro NAGAEToshimitsu USHIO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2024/05/01 Vol. E107-ANo. 5 ;
pp. 752-761 Type of Manuscript: INVITED PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: heterogeneous multi-robot systems, path planning, linear temporal logic, integer programming,