6 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.GT2012★ 6 cited
Playing Pushdown Parity Games in a Hurry
Wladimir Fridman, Martin Zimmermann
We continue the investigation of finite-duration variants of infinite-duration games by extending known results for games played on finite graphs to those played on infinite ones.…
cs.GT2010★ 2 cited
Formats of Winning Strategies for Six Types of Pushdown Games
Wladimir Fridman
The solution of parity games over pushdown graphs (Walukiewicz '96) was the first step towards an effective theory of infinite-state games. It was shown that winning strategies for…