A Minimum Exact Disjunctive Basis for Two-Robot Solvability Profiles
arXiv:2610.17677v1 Announce Type: cross Abstract: We completely characterize the solvability profiles of tasks for two autonomous mobile robots in the plane under variable disorientation, chirality, a