Steen Vester

According to our database, Steen Vester authored at least 17 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Nash equilibria in symmetric graph games with partial observation.

Patricia Bouyer, Nicolas Markey, Steen Vester

Inf. Comput., 2017

2016

Game-based verification and synthesis.

Steen Vester

PhD thesis, 2016

Winning Cores in Parity Games.

Steen Vester

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Synthesis of Railway-Signaling Plans using Reachability Games.

Patrick Kasting, Michael R. Hansen, Steen Vester

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

Distributed Synthesis in Continuous Time.

Holger Hermanns, Jan Krcál, Steen Vester

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015

On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems.

Steen Vester

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models.

Steen Vester

CoRR, 2014

Nash Equilibria in Symmetric Games with Partial Observation.

Patricia Bouyer, Nicolas Markey, Steen Vester

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

Symmetry Reduction in Infinite Games with Finite Branching.

Nicolas Markey, Steen Vester

Proceedings of the Automated Technology for Verification and Analysis, 2014

Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.

Valentin Goranko, Steen Vester

Proceedings of the Advances in Modal Logic 10, 2014

2013

Alternating-time temporal logic with finite-memory strategies.

Steen Vester

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

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

Reimplementing a Multi-Agent System in Python.

Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig

Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

2011

Multi-Agent Programming Contest 2011 - The Python-DTU Team

Jørgen Villadsen, Mikko Berggren Ettienne, Steen Vester

CoRR, 2011

Improving multi-agent systems using Jason.

Steen Vester, Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen

Ann. Math. Artif. Intell., 2011

Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach.

Mikko Berggren Ettienne, Steen Vester, Jørgen Villadsen

Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

2010

Multi-Agent Programming Contest 2010 - The Jason-DTU Team

Jørgen Villadsen, Niklas Skamriis Boss, Andreas Schmidt Jensen, Steen Vester

CoRR, 2010