Steen Vester



Publications

Articles

[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]

Theses

[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]