Steen Vester
Steen Vester
Unknown affiliation
Verified email at digital-generation.dk
Title
Cited by
Cited by
Year
Alternating-time temporal logic with finite-memory strategies
S Vester
arXiv preprint arXiv:1307.4476, 2013
192013
Implementing a multi-agent system in python with an auction-based agreement approach
MB Ettienne, S Vester, J Villadsen
International Workshop on Programming Multi-Agent Systems, 185-196, 2011
182011
Improving multi-agent systems using Jason
S Vester, NS Boss, AS Jensen, J Villadsen
Annals of Mathematics and Artificial Intelligence 61 (4), 297-307, 2011
142011
Reimplementing a multi-agent system in Python
J Villadsen, AS Jensen, MB Ettienne, S Vester, KB Andersen, A Frřsig
International Workshop on Programming Multi-Agent Systems, 205-216, 2012
92012
On the complexity of model-checking branching and alternating-time temporal logics in one-counter systems
S Vester
International Symposium on Automated Technology for Verification and …, 2015
8*2015
Nash equilibria in symmetric graph games with partial observation
P Bouyer, N Markey, S Vester
Information and Computation 254, 238-258, 2017
72017
Symmetric Nash Equilibria
S Vester
Master’s thesis, ENS Cachan, 2012
72012
Optimal decision procedures for satisfiability in fragments of alternating-time temporal logics
V Goranko, S Vester
Advances in Modal Logic 2014, 234-253, 2014
52014
Synthesis of railway-signaling plans using reachability games
P Kasting, MR Hansen, S Vester
Proceedings of the 28th Symposium on the Implementation and Application of …, 2016
42016
Winning cores in parity games
S Vester
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
32016
Nash equilibria in symmetric games with partial observation
P Bouyer, N Markey, S Vester
arXiv preprint arXiv:1404.0839, 2014
32014
Symmetry reduction in infinite games with finite branching
N Markey, S Vester
International Symposium on Automated Technology for Verification and …, 2014
22014
Distributed synthesis in continuous time
H Hermanns, J Krčál, S Vester
International Conference on Foundations of Software Science and Computation …, 2016
12016
Implementing a Multi-Agent System in Python
MB Ettienne, S Vester, J Villadsen
Multi-agent Programming Contest 2011 Edition Evaluation and Team …, 2012
12012
Nash equilibria in symmetric graph games with partial observation
N Markey, P Bouyer, S Vester
2017
Game-based verification and synthesis
S Vester
Technical University of Denmark, 2016
2016
Game-Theoretic and Computational Aspects of Concurrent Game Models
S Vester
2013
Laboratoire Spécification & Vérification
S Vester
2012
An Application of Game Theory in Program Synthesis
S Vester
Jřrgen Villadsen Andreas Schmidt Jensen, 15, 2012
2012
Multi-Agent Programming Contest 2012-The Python-DTU Team
AS Jensen, MB Ettienne, S Vester, KB Andersen, A Fr
Technical University of Denmark, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20