| Alternating-time temporal logic with finite-memory strategies S Vester arXiv preprint arXiv:1307.4476, 2013 | 26 | 2013 |
| Implementing a multi-agent system in python with an auction-based agreement approach MB Ettienne, S Vester, J Villadsen Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011 …, 2012 | 22 | 2012 |
| Improving multi-agent systems using Jason S Vester, NS Boss, AS Jensen, J Villadsen Annals of Mathematics and Artificial Intelligence 61, 297-307, 2011 | 17 | 2011 |
| On the complexity of model-checking branching and alternating-time temporal logics in one-counter systems S Vester Automated Technology for Verification and Analysis: 13th International …, 2015 | 14* | 2015 |
| Reimplementing a multi-agent system in Python J Villadsen, AS Jensen, MB Ettienne, S Vester, KB Andersen, A Frřsig Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012 …, 2013 | 11 | 2013 |
| Symmetric Nash Equilibria S Vester PhD thesis, Ecole Normale Superieure de Cachan, 2012 | 11 | 2012 |
| Nash equilibria in symmetric graph games with partial observation P Bouyer, N Markey, S Vester Information and Computation 254, 238-258, 2017 | 9 | 2017 |
| Optimal decision procedures for satisfiability in fragments of alternating-time temporal logics V Goranko, S Vester Advances in Modal Logic 2014, 234-253, 2014 | 8 | 2014 |
| 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 | 6 | 2016 |
| Winning cores in parity games S Vester Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 4 | 2016 |
| Nash equilibria in symmetric games with partial observation P Bouyer, N Markey, S Vester arXiv preprint arXiv:1404.0839, 2014 | 3 | 2014 |
| Symmetry reduction in infinite games with finite branching N Markey, S Vester International Symposium on Automated Technology for Verification and …, 2014 | 2 | 2014 |
| Implementing a Multi-Agent System in Python MB Ettienne, S Vester, J Villadsen Multi-Agent Programming Contest 2011 Edition Evaluation and Team …, 2012 | 2 | 2012 |
| Distributed synthesis in continuous time H Hermanns, J Krčál, S Vester Foundations of Software Science and Computation Structures: 19th …, 2016 | 1 | 2016 |
| 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 | 1 | 2012 |
| 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 brought to you by CORE …, 2012 | | 2012 |
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
