Can Nondeterminism Help Complementation?

Type
Conference paper
Publication
In the Symposium on Games, Automata, Logics and Formal Verification. Invited to the Special Issue of Theoretical Computer Science for GandALF.
Date
Links
PDF arXiv