7 citations · 13 across the 5 of their papers we have counts for
7 papers
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…
Distributed Synthesis in Continuous Time
Holger Hermanns, Jan Krčál, Steen Vester
We introduce a formalism modelling communication of distributed agents strictly in continuous-time. Within this framework, we study the problem of synthesising local strategies for…
Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models
Steen Vester
We consider quantitative extensions of the alternating-time temporal logics ATL/ATLs called quantitative alternating-time temporal logics (QATL/QATLs) in which the value of a count…
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…
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…
Multi-Agent Programming Contest 2012 - The Python-DTU Team
Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne +3
We provide a brief description of the Python-DTU system, including the overall design, the tools and the algorithms that we plan to use in the agent contest.
Multi-Agent Programming Contest 2011 - The Python-DTU Team
Jørgen Villadsen, Mikko Berggren Ettienne, Steen Vester
We provide a brief description of the Python-DTU system, including the overall design, the tools and the algorithms that we plan to use in the agent contest.