Multi-Agent Programming Contest 2010 - The Jason-DTU Team - Jørgen Villadsen; Niklas Skamriis Boss; Andreas Schmidt Jensen; Steen Vester (CoRR, 2010)

Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. - Mikko Berggren Ettienne; Steen Vester; Jørgen Villadsen (ProMAS, 2011)

Improving multi-agent systems using Jason. - Steen Vester; Niklas Skamriis Boss; Andreas Schmidt Jensen; Jørgen Villadsen (Ann. Math. Artif. Intell., 2011)

Multi-Agent Programming Contest 2011 - The Python-DTU Team - Jørgen Villadsen; Mikko Berggren Ettienne; Steen Vester (CoRR, 2011)

Reimplementing a Multi-Agent System in Python. - Jørgen Villadsen; Andreas Schmidt Jensen; Mikko Berggren Ettienne; Steen Vester; Kenneth Balsiger Andersen; Andreas Frøsig (ProMAS, 2012)

Multi-Agent Programming Contest 2012 - The Python-DTU Team - Jørgen Villadsen; Andreas Schmidt Jensen; Mikko Berggren Ettienne; Steen Vester; Kenneth Balsiger Andersen; Andreas Frøsig (CoRR, 2012)

Alternating-time temporal logic with finite-memory strategies. - Steen Vester (GandALF, 2013)

Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. - Valentin Goranko; Steen Vester (Advances in Modal Logic, 2014)

Symmetry Reduction in Infinite Games with Finite Branching. - Nicolas Markey; Steen Vester (ATVA, 2014)

Nash Equilibria in Symmetric Games with Partial Observation. - Patricia Bouyer; Nicolas Markey; Steen Vester (SR, 2014)

Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models. - Steen Vester (CoRR, 2014)

On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems. - Steen Vester (ATVA, 2015)

Distributed Synthesis in Continuous Time. - Holger Hermanns; Jan Krcál; Steen Vester (FoSSaCS, 2016)

Synthesis of Railway-Signaling Plans using Reachability Games. - Patrick Kasting; Michael R. Hansen; Steen Vester (IFL, 2016)

Winning Cores in Parity Games. - Steen Vester (LICS, 2016)

Game-based verification and synthesis. - Steen Vester (2016)

Nash equilibria in symmetric graph games with partial observation. - Patricia Bouyer; Nicolas Markey; Steen Vester (Inf. Comput., 2017)