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,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2024/01/01 Vol. E107-ANo. 1 ;
pp. 31-37 Type of Manuscript: Special Section PAPER (Special Section on Circuits and Systems) Category: Keyword: multi-agent systems, reinforcement learning, linear temporal logic, aggregator, surveillance,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2016/02/01 Vol. E99-ANo. 2 ;
pp. 442-453 Type of Manuscript: INVITED PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: continuous-time dynamical systems, interval analysis, linear temporal logic, falsification method,