7 citations · 13 across the 5 of their papers we have counts for
Showing cs.GTShow all
3 papers · 1 filter
cs.GT2016
Winning Cores in Parity Games
Steen Vester
We introduce the novel notion of winning cores in parity games and develop a deterministic polynomial-time under-approximation algorithm for solving parity games based on winning c…
cs.GT2014★ 2 cited
Nash Equilibria in Symmetric Games with Partial Observation
Patricia Bouyer, Nicolas Markey, Steen Vester
We investigate a model for representing large multiplayer games, which satisfy strong symmetry properties. This model is made of multiple copies of an arena; each player plays in h…
cs.GT2013★ 7 cited
Alternating-time temporal logic with finite-memory strategies
Steen Vester
Model-checking the alternating-time temporal logics ATL and ATL* with incomplete information is undecidable for perfect recall semantics. However, when restricting to memoryless st…