Kotaro Nagae

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Linear Time Temporal Logic

Aerial Vehicles

Multi Robot Task Allocation

Collision Avoidance

Top Venues

IEICE Trans. Fundam. Electron. Commun. Comput. Sci.

Publications

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