47 citations · 137 across the 13 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Solving 3-Color Parity Games in Time
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…
cs.GT2014★ 11 cited
How Much Lookahead is Needed to Win Infinite Games?
Felix Klein, Martin Zimmermann
Delay games are two-player games of infinite duration in which one player may delay her moves to obtain a lookahead on her opponent's moves. For -regular winning conditions it i…