Ting Zhang

Latest

• Can Nondeterminism Help Complementation?
• A Tight Lower Bound for Streett Complementation
• Tight Upper Bounds for Streett and Parity Complementation
• An Improved Lower Bound for the Complementation of Rabin Automata