6 citations · 11 across the 3 of their papers we have counts for
Showing cs.GTShow all
2 papers · 1 filter
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.GT2011★ 1 cited
Optimal Bounds in Parametric LTL Games
Martin Zimmermann
We consider graph games of infinite duration with winning conditions in parameterized linear temporal logic, where the temporal operators are equipped with variables for time bound…