| [1] | Patricia Bouyer and Nicolas Markey and Steen Vester. Nash Equilibria in Symmetric Graph Games with Partial Observation. In Information and Computation 254: 238-258, 2017. |
| [2] | Patrick Kasting and Michael R. Hansen and Steen Vester. Synthesis of Railway-Signaling Plans using Reachability Games. In Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages (IFL), p. 9:1-9:13, 2016. |
| [3] | Steen Vester. Winning Cores in Parity Games. In Proceedings of the 31st Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS), p. 662-671, 2016. [Received the Kleene Award for best student paper at LICS 2016] |
| [4] | Holger Hermanns and Jan Krcal and Steen Vester. Distributed Synthesis in Continuous Time. In Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), p. 353-369, 2016. |
| [5] | Steen Vester. On the Complexity of Model-Checking Branching and Alternating-Time
Temporal Logics in One-Counter Systems. In Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA), p. 361--377, 2015. [pdf] |
| [6] | Nicolas Markey and Steen Vester. Symmetry Reduction in Infinite Games with Finite Branching. In Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA), p. 281-296, 2014. [pdf] |
| [7] | Valentin Goranko and
Steen Vester. Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time
Temporal Logics. In Advances in Modal Logic 10, invited and contributed papers from the
tenth conference on Advances in Modal Logic (AiML), p. 234--253, 2014. [pdf] |
| [8] | Patricia Bouyer and
Nicolas Markey and
Steen Vester. Nash Equilibria in Symmetric Games with Partial Observation. In Proceedings 2nd International Workshop on Strategic Reasoning (SR), p. 49-55, 2014. [pdf] |
| [9] | Steen Vester. Alternating-time temporal logic with finite-memory strategies. In Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification (GandALF), p. 194-207, 2013. [pdf] |
| [10] | Jørgen Villadsen and
Andreas Schmidt Jensen and
Mikko Berggren Ettienne and
Steen Vester and
Kenneth Balsiger Andersen and
Andreas Frøsig. Reimplementing a Multi-Agent System in Python. In Programming Multi-Agent Systems - 10th International Workshop (ProMAS), p. 205-216, 2012. [pdf] |
| [11] | Steen Vester and
Niklas Skamriis Boss and
Andreas Schmidt Jensen and
Jørgen Villadsen. Improving multi-agent systems using Jason. In Ann. Math. Artif. Intell., 61(4):297-307, 2011. [pdf] |
| [12] | Mikko Berggren Ettienne and
Steen Vester and
Jørgen Villadsen. Implementing a Multi-Agent System in Python with an Auction-Based
Agreement Approach. In Programming Multi-Agent Systems - 9th International Workshop (ProMAS), p. 185-196, 2011. [pdf] |
| [13] | Steen Vester. Game-based Verification and Synthesis, 2016. Ph.d. thesis. Supervisors: Michael Reichhardt Hansen (DTU Compute) and Valentin Goranko (Stockholm University). [Received the EATCS Distinguished Dissertation Award 2016] [pdf] |
| [14] | Steen Vester. Game-Theoretic and Computational Aspects of Concurrent Game Models, 2013. Master thesis. Supervisor: Valentin Goranko (DTU Compute). [Nominated as best Danish master thesis in computer science 2013] [pdf] |
| [15] | Steen Vester. Symmetric Nash Equilibria, 2012. Master thesis. Supervisors: Patricia Bouyer-Decitre, Nicolas Markey (LSV, ENS Cachan). [pdf] |
| [16] | Steen Vester. Model Checking Jason Programs, 2010. B.Sc. thesis. Supervisor: Jørgen Villadsen (IMM, DTU). [pdf] |