Institute of Science Tokyo · School of Computing

Research keywordsmulti-agent path planning・mobile robots・rendezvous algorithms・resilient consensus・model checking・autonomous driving coordination・target assignment・peer-to-peer energy trading

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

• Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment.2025 · Applied Cryptography and Network Security - 23rd International Conference 15825 153 - 183 2025年
• Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm.2025 · Structural Information and Communication Complexity - 32nd International Colloquium(SIROCCO) 15671 127 - 143 2025年
• Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space.2023 · Robotics and Autonomous Systems 163 104378 - 104378 2023年5月
• Offline Time-Independent Multiagent Path Planning.2023 · IEEE Transactions on Robotics 39 ( 4 ) 2720 - 2737 2023年8月

• 自律分散ロボット群の理論モデルの再考察と新機軸の創出2025 · 研究課題/領域番号： 25K03079 2025年4月 - 2029年3月
• 自律分散ロボットアルゴリズムの形式的検証に対する実用的な枠組み2021 · 研究課題/領域番号： 21K11748 2021年4月 - 2024年3月
• 協調型自動運転を包括的に支援するサイバーフィジカルシステム基盤2021 · 研究課題/領域番号： 21H03423 2021年4月 - 2024年3月
• 自律分散ロボット群の計算限界ー記憶，通信，同期度が計算能力に及ぼす影響について2020 · 研究課題/領域番号： 20K11685 2020年4月 - 2023年3月

• Official profile