47 citations · 137 across the 13 of their papers we have counts for
1 paper · 2 filters
Felix Klein
Parity games are an expressive framework to consider realizability questions for omega-regular languages. However, it is open whether they can be solved in polynomial time, making…