Kotaro Nagae
Papers
1
Total Citations
2
H-Index
1
About
Kotaro Nagae is a researcher in multi-robot systems and formal methods, with a focus on integrating temporal logic specifications into autonomous coordination. His key research areas include path planning for heterogeneous multi-robot teams, counting linear temporal logic (LTL), and the application of formal verification to robotic task allocation. In his most-cited work, "Extension of Counting LTL and Its Application to a Path Planning Problem for Heterogeneous Multi-Robot Systems" (2023), Nagae addresses a critical challenge: planning paths for robots with diverse dynamics and specifications, such as those required in package delivery services. By partitioning robots into groups based on their capabilities and task constraints, he introduces a concise formalism that bridges temporal constraints with routing tasks. This contribution is particularly impactful for real-world logistics and warehouse automation, where heterogeneous fleets must operate under strict temporal and spatial requirements. Though early in his citation trajectory, Nagae’s work lays a foundation for scalable, specification-driven multi-robot coordination, offering a rigorous framework for future research in autonomous systems and formal methods.
Research Focus
Key Achievements
Top Papers
- 1