Follow
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
222013
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
212011
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
162011
Symmetric Nash Equilibria
S Vester
Master’s thesis, ENS Cachan, 2012
102012
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
102012
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
9*2015
Nash equilibria in symmetric graph games with partial observation
P Bouyer, N Markey, S Vester
Information and Computation 254, 238-258, 2017
82017
Optimal decision procedures for satisfiability in fragments of alternating-time temporal logics
V Goranko, S Vester
Advances in Modal Logic 2014, 234-253, 2014
82014
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
72016
Winning cores in parity games
S Vester
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
42016
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
Implementing a Multi-Agent System in Python
MB Ettienne, S Vester, J Villadsen
Multi-Agent Programming Contest 2011 Edition Evaluation and Team …, 2012
22012
Distributed synthesis in continuous time
H Hermanns, J Krčál, S Vester
International Conference on Foundations of Software Science and Computation …, 2016
12016
Multi-Agent Programming Contest 2012-The Python-DTU Team
J Villadsen, AS Jensen, MB Ettienne, S Vester, KB Andersen, A Frřsig
arXiv preprint arXiv:1210.0437, 2012
12012
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
of host publication: Multi-Agent Programming Contest 2011 Edition Evaluation and Team Descriptions
MB Ettienne, S Vester, J Villadsen
peer-review› Report chapter–Annual report year: 2012, 147-179, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20