Steen Vester

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 7

Top Topics

Mazurkiewicz Traces

Nash Equilibria

Top Venues

Publications

Patricia Bouyer, Nicolas Markey, Steen Vester
Nash equilibria in symmetric graph games with partial observation. Inf. Comput. 254 (2017)
Patrick Kasting, Michael R. Hansen, Steen Vester
Synthesis of Railway-Signaling Plans using Reachability Games. IFL (2016)
Holger Hermanns, Jan Krcál, Steen Vester
Distributed Synthesis in Continuous Time. CoRR (2016)
Holger Hermanns, Jan Krcál, Steen Vester
Distributed Synthesis in Continuous Time. FoSSaCS (2016)
Steen Vester
Winning Cores in Parity Games. LICS (2016)
Steen Vester
Winning Cores in Parity Games. CoRR (2016)
Steen Vester
On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems. ATVA (2015)
Patricia Bouyer, Nicolas Markey, Steen Vester
Nash Equilibria in Symmetric Games with Partial Observation. SR (2014)
Valentin Goranko, Steen Vester
Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. Advances in Modal Logic (2014)
Nicolas Markey, Steen Vester
Symmetry Reduction in Infinite Games with Finite Branching. ATVA (2014)
Steen Vester
Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models. CoRR (2014)
Steen Vester
Alternating-time temporal logic with finite-memory strategies. GandALF (2013)
Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig
Multi-Agent Programming Contest 2012 - The Python-DTU Team CoRR (2012)
Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig
Reimplementing a Multi-Agent System in Python. ProMAS (2012)
Steen Vester, Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen
Improving multi-agent systems using Jason. Ann. Math. Artif. Intell. 61 (4) (2011)
Mikko Berggren Ettienne, Steen Vester, Jørgen Villadsen
Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. ProMAS (2011)
Jørgen Villadsen, Mikko Berggren Ettienne, Steen Vester
Multi-Agent Programming Contest 2011 - The Python-DTU Team CoRR (2011)
Jørgen Villadsen, Niklas Skamriis Boss, Andreas Schmidt Jensen, Steen Vester
Multi-Agent Programming Contest 2010 - The Jason-DTU Team CoRR (2010)