Recognizing Completely Reachable Automata in Quadratic Time

Robert Ferens, Marek Szykula. Recognizing Completely Reachable Automata in Quadratic Time. ACM Transactions on Algorithms, 22(2), April 2026. [doi]

Abstract

Abstract is missing.