31 citations · 242 across the 55 of their papers we have counts for
1 paper · 2 filters
Sven Schewe, Alexander Weinert, Martin Zimmermann
Quantitative extensions of parity games have recently attracted significant interest. These extensions include parity games with energy and payoff conditions as well as finitary pa…