Certifying DFA Bounds for Recognition and Separation.

Orna Kupferman, Nir Lavee, Salomon Sickert

Browse the full ATVA paper archive.