TY - RPRT TI - A Minimum Exact Disjunctive Basis for Two-Robot Solvability Profiles AU - Tsukasa Ninomiya AU - Shota Naito AU - Naoki Kitamura AU - Yuichi Sudo AU - Koichi Wada PY - 2026 UR - https://arxiv.org/abs/2610.17677 ID - 2610.17677 ER -