TY - RPRT TI - A cornering strategy for synchronizing a DFA AU - Peter Bradshaw AU - Alexander Clow AU - Ladislav Stacho PY - 2025 UR - https://arxiv.org/abs/2405.00826 ID - 2405.00826 ER -