TY - RPRT TI - A quadratic lower bound for 2DFAs against one-way liveness AU - Kehinde Adeogun AU - Christos Kapoutsis PY - 2026 UR - https://arxiv.org/abs/2602.24279 ID - 2602.24279 ER -