20 citations · 24 across the 3 of their papers we have counts for
3 papers
cs.GT2015
Symmetric Strategy Improvement
Sven Schewe, Ashutosh Trivedi, Thomas Varghese
Symmetry is inherent in the definition of most of the two-player zero-sum games, including parity, mean-payoff, and discounted-payoff games. It is therefore quite surprising that n…
cs.FL2014★ 4 cited
Tight Bounds for Complementing Parity Automata
Sven Schewe, Thomas Varghese
We follow a connection between tight determinisation and complementation and establish a complementation procedure from parity automata to nondeterministic Büchi automata and prove…
cs.FL2014★ 20 cited
Determinising Parity Automata
Sven Schewe, Thomas Varghese
Parity word automata and their determinisation play an important role in automata and game theory. We discuss a determinisation procedure for nondeterministic parity automata throu…