Efficient reduction of nondeterministic automata with application to language inclusion testing

Lorenzo Clemente, Richard Mayr. Efficient reduction of nondeterministic automata with application to language inclusion testing. Logical Methods in Computer Science, 15(1), 2019. [doi]

Abstract

Abstract is missing.