Institute of Science Tokyo · School of Computing · 特任准教授

Research keywordsdistributed algorithms・multi-agent systems・self-stabilization・consensus・path planning・adversarial processes・combinatorial game theory

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Deterministic color-optimal self-stabilizing semi-synchronous gathering: Two certified algorithms2026 · Theoretical Computer Science 2026年7月
• Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm.2025 · SIROCCO 127 - 143 2025年
• Offline Time-Independent Multiagent Path Planning.2023 · IEEE Transactions on Robotics 39 ( 4 ) 2720 - 2737 2023年8月
• Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading Processes.2022 · IEEE Transactions on Network Science and Engineering 9 ( 5 ) 3316 - 3331 2022年

• Automatic Verification of Distributed Mobile Robot Algorithms2014 · 研究課題/領域番号： 26870228 2014年4月 - 2016年3月
• 複数の環境に適応可能な移動ロボット群向けの分散アルゴリズム設計2010 · 研究課題/領域番号： 10F00720 2010年 - 2012年

• Official profile