TY - RPRT TI - Binary completely reachable automata AU - David Casas AU - Mikhail V. Volkov PY - 2022 UR - https://arxiv.org/abs/2205.09404 ID - 2205.09404 ER -