@misc{indiciae17b99b6d2450, title = {A Minimum Exact Disjunctive Basis for Two-Robot Solvability Profiles}, author = {Tsukasa Ninomiya and Shota Naito and Naoki Kitamura and Yuichi Sudo and Koichi Wada}, year = {2026}, url = {https://arxiv.org/abs/2610.17677}, note = {Source identifier: 2610.17677} }