5 papers
A Minimum Exact Disjunctive Basis for Two-Robot Solvability Profiles
Tsukasa Ninomiya, Shota Naito, Naoki Kitamura +2
We completely characterize the solvability profiles of tasks for two autonomous mobile robots in the plane under variable disorientation, chirality, and rigid movements. The four s…
Rendezvous under Variable Disorientation:The Algorithmic Power of Fixed Unit Distance
Toshimitsu Masuzawa, Yuichi Sudo, Koichi Wada
We study deterministic Rendezvous of two robots with lights under weak geometric and synchronization assumptions. Our focus is on Variable Disorientation (VD), where each robot may…
Two-Robot Computational Landscape: A Complete Characterization of Model Power in Minimal Mobile Robot Systems
Naoki Kitamura, Yuichi Sudo, Koichi Wada
The computational power of autonomous mobile robots under the Look-Compute-Move (LCM) model has been widely studied through an extensive hierarchy of robot models defined by the pr…
Beyond Pairwise Comparisons: Unveiling Structural Landscape of Mobile Robot Models
Shota Naito, Tsukasa Ninomiya, Koichi Wada
Understanding the computational power of mobile robot systems is a fundamental challenge in distributed computing. While prior work has focused on pairwise separations between mode…
Gathering Semi-Synchronously Scheduled Two-State Robots
Kohei Otaka, Fabian Frei, Koichi Wada
We study the problem \emph{Gathering} for autonomous mobile robots in synchronous settings with a persistent memory called \emph{light}. It is well known that Gathering is impo…