| Iterated boolean games J Gutierrez, P Harrenstein, M Wooldridge Information and Computation 242, 53-79, 2015 | 82 | 2015 |
| Rational Verification: From Model Checking to Equilibrium Checking M Wooldridge, J Gutierrez, P Harrenstein, E Marchioni, G Perelli, A Toumi AAAI 16, 4184-4191, 2016 | 57 | 2016 |
| Multi-Agent Reinforcement Learning with Temporal Logic Specifications L Hammond, A Abate, J Gutierrez, M Wooldridge arXiv preprint arXiv:2102.00582, 2021 | 47 | 2021 |
| From model checking to equilibrium checking: Reactive modules for rational verification J Gutierrez, P Harrenstein, M Wooldridge Artificial Intelligence 248, 123-157, 2017 | 46 | 2017 |
| Reasoning about equilibria in game-like concurrent systems J Gutierrez, P Harrenstein, M Wooldridge Annals of Pure and Applied Logic 168 (2), 373-403, 2017 | 44 | 2017 |
| The winning ways of concurrent games P Clairambault, J Gutierrez, G Winskel 2012 27th Annual IEEE Symposium on Logic in Computer Science, 235-244, 2012 | 40 | 2012 |
| Imperfect information in reactive modules games J Gutierrez, G Perelli, M Wooldridge Information and Computation 261, 650-675, 2018 | 34 | 2018 |
| A tool for the automated verification of Nash equilibria in concurrent games A Toumi, J Gutierrez, M Wooldridge Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015 | 32 | 2015 |
| Timed concurrent constraint programming for analysing biological systems J Gutiérrez, JA Pérez, C Rueda, FD Valencia Electronic Notes in Theoretical Computer Science 171 (2), 117-137, 2007 | 32 | 2007 |
| Automated temporal equilibrium analysis: Verification and synthesis of multi-player games J Gutierrez, M Najib, G Perelli, M Wooldridge Artificial Intelligence 287, 103353, 2020 | 30 | 2020 |
| Nash equilibria in concurrent games with lexicographic preferences J Gutierrez, A Murano, G Perelli, S Rubin, M Wooldridge 2017 International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017 | 30 | 2017 |
| EVE: A Tool for Temporal Equilibrium Analysis J Gutierrez, M Najib, G Perelli, M Wooldridge Automated Technology for Verification and Analysis: 16th International …, 2018 | 27 | 2018 |
| Expresiveness and complexity results for strategic reasoning J Gutierrez, P Harrenstein, M Wooldridge 26th International Conference on Concurrency Theory (CONCUR 2015), 2015 | 27 | 2015 |
| Rational verification: game-theoretic verification of multi-agent systems A Abate, J Gutierrez, L Hammond, P Harrenstein, M Kwiatkowska, M Najib, ... Applied Intelligence 51 (9), 6569-6584, 2021 | 24 | 2021 |
| On Computational Tractability for Rational Verification J Gutierrez, M Najib, G Perelli, M Wooldridge Schloss Dagstuhl, 2019 | 20 | 2019 |
| Cooperative concurrent games J Gutierrez, S Kowara, S Kraus, T Steeples, M Wooldridge Artificial Intelligence 314, 103806, 2023 | 19 | 2023 |
| On bisimulation and model-checking for concurrent systems with partial order semantics J Gutierrez The University of Edinburgh, 2011 | 19 | 2011 |
| Logics and bisimulation games for concurrency, causality and conflict J Gutierrez Foundations of Software Science and Computational Structures, 48-62, 2009 | 19 | 2009 |
| Equilibria for games with combined qualitative and quantitative objectives J Gutierrez, A Murano, G Perelli, S Rubin, T Steeples, M Wooldridge Acta Informatica 58 (6), 585-610, 2021 | 18 | 2021 |
| Nash Equilibrium and Bisimulation Invariance M Wooldridge, G Perelli, P Harrenstein, J Gutierrez Logical Methods in Computer Science 15, 2019 | 18* | 2019 |
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
