2025

• Gutierrez, J., Cai, Z., Cardenas, C. R., Leo, K., Zhang, C., Backman, K., . . . Rezatofighi, H. (2025). NEUSIS: a compositional neuro-symbolic framework for autonomous perception, reasoning, and planning in complex UAV search missions. IEEE Robotics and Automation Letters, pages. doi:10.1109/LRA.2025.3592098
  Article. .

2024

• Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2024). Designing equilibria in concurrent games with social welfare and temporal logic constraints. Logical Methods in Computer Science, 20(4), 21-30. doi:10.46298/lmcs-20(4:21)2024
  Article. .
• Gutierrez, J., Hyland, D., Najib, M., Perelli, G., & Wooldridge, M. (2024). Endogenous energy reactive modules games: modelling side payments among resource-bounded agents. In Ijcai International Joint Conference on Artificial Intelligence (pp. 67-75). Jeju, South Korea: IJCAI. doi:10.24963/ijcai.2024/8
  Conference publication. .
• Gutierrez, J., Lin, A. W., Najib, M., Steeples, T., & Wooldridge, M. (2024). Characterising and verifying the core in concurrent multi-player mean-payoff games. In Leibniz International Proceedings in Informatics Lipics Vol. 288 (pp. 32:1-32:25). Schloss Dagstuhl - Leibniz Center for Informatics. doi:10.4230/LIPIcs.CSL.2024.32
  Conference publication. .
• Hyland, D., Shankaranarayanan, K., Gutierrez, J., & Wooldridge, M. (2024). Rational Verification with Quantitative Probabilistic Goals. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas Vol. 2024-May (pp. 871-879). Auckland, New Zealand: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).
  Conference publication. .

2023

• Hyland, D., Gutierrez, J., & Wooldridge, M. (2023). Principal-agent boolean games. In Ijcai International Joint Conference on Artificial Intelligence Vol. 2023-August (pp. 144-152). Macao, SAR: International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2023/17
  Conference publication. .
• Van Dijk, E., Ripley, D., & Gutierrez, J. (2023). Core type theory. Bulletin of the Section of Logic, 52(2), 145-186. doi:10.18778/0138-0680.2023.19
  Article. .
• Hyland, D., Gutierrez, J., & Wooldridge, M. (2023). Incentive engineering for concurrent games. In Electronic Proceedings in Theoretical Computer Science EPTCS Vol. 379 (pp. 344-358). Oxford, UK: Open Publishing Association. doi:10.4204/EPTCS.379.28
  Conference publication. .
• Aggarwal, S., de la Banda, A. S., Yang, L., & Gutierrez, J. (2023). A matrix-based approach to parity games. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 13993 LNCS (pp. 666-683). Paris, France: Springer Nature Switzerland. doi:10.1007/978-3-031-30823-9_34
  Conference publication. .
• Lee, W. -C., Hyland, D., Abate, A., Elkind, E., Gan, J., Gutierrez, J., . . . Wooldridge, M. (2023). k-Prize weighted voting games. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas Vol. 2023-May (pp. 2049-2057). London, UK: International Foundation for Autonomous Agents and Multiagent Systems.
  Conference publication. .

2022

• Gutierrez, J., Kraus, S., Perelli, G., & Wooldridge, M. (2022). Giving instructions in linear temporal logic. In Leibniz International Proceedings in Informatics Lipics Vol. 247 (pp. pages). Online: Schloss Dagstuhl - Leibniz Center for Informatics. doi:10.4230/LIPIcs.TIME.2022.15
  Conference publication. .
• Gutierrez, J., Kowara, S., Kraus, S., Steeples, T., & Wooldridge, M. (2022). Cooperative concurrent games. Artificial Intelligence, 314, pages. doi:10.1016/j.artint.2022.103806
  Article. .
• Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2023). On the complexity of rational verification. Annals of Mathematics and Artificial Intelligence, 91(4), 409-430. doi:10.1007/s10472-022-09804-3
  Article. .
• Gutierrez, J., Steeples, T., & Wooldridge, M. (2022). Mean-payoff games with ω-regular specifications. Games, 13(1), 19. doi:10.3390/g13010019
  Article. .

2021

• Zahoransky, V., Gutierrez, J., Harrenstein, P., & Wooldridge, M. (2021). Partial order games. Games, 13(1), 2. doi:10.3390/g13010002
  Article. .
• Gutierrez, J., Murano, A., Perelli, G., Rubin, S., Steeples, T., & Wooldridge, M. (2021). Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica, 58(6), 585-610. doi:10.1007/s00236-020-00385-4
  Article. .
• Gutierrez, J., Hammond, L., Lin, A. W., Najib, M., & Wooldridge, M. (2021). Rational verification for probabilistic systems. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning Kr 2021 (pp. 312-322). Online: IJCAI. doi:10.24963/kr.2021/30
  Conference publication. .
• Abate, A., Gutierrez, J., Hammond, L., Harrenstein, P., Kwiatkowska, M., Najib, M., . . . Wooldridge, M. (2021). Rational verification: game-theoretic verification of multi-agent systems. Applied Intelligence, 51(9), 6569-6584. doi:10.1007/s10489-021-02658-y
  Article. .
• Gutierrez, J., Harrenstein, P., Perelli, G., & Wooldridge, M. (2021). Expressiveness and nash equilibrium in iterated boolean games. In ACM Transactions on Computational Logic Vol. 22 (pp. 1-38). Association for Computing Machinery (ACM). doi:10.1145/3439900
  Conference publication. .
• Steeples, T., Gutierrez, J., & Wooldridge, M. (2021). Mean-payoff games with ω-regular specifications. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas Vol. 3 (pp. 1260-1268). Online: IFAAMAS.
  Conference publication. .
• Hammond, L., Abate, A., Gutierrez, J., & Wooldridge, M. (2021). Multi-agent reinforcement learning with temporal logic specifications. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas Vol. 1 (pp. 583-592). Online: IFAAMAS.
  Conference publication. .

2020

• Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2020). Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Artificial Intelligence, 287. doi:10.1016/j.artint.2020.103353
  Article. .
• Gutierrez, J., Perelli, G., & Wooldridge, M. (2021). Multi-player games with LDL goals over finite traces. Information and Computation, 276, pages. doi:10.1016/j.ic.2020.104555
  Article. .

2019

• Gutierrez, J., Harrenstein, P., Perelli, G., & Wooldridge, M. (2019). Nash equilibrium and bisimulation invariance. Logical Methods in Computer Science, 15(3), pages. doi:10.23638/LMCS-15(3:32)2019
  Article. .
• Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2019). Equilibrium design for concurrent games. In Leibniz International Proceedings in Informatics Lipics Vol. 140. doi:10.4230/LIPIcs.CONCUR.2019.22
  Conference publication. .
• Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2019). On computational tractability for rational verification. In Ijcai International Joint Conference on Artificial Intelligence Vol. 2019-August (pp. 329-335). doi:10.24963/ijcai.2019/47
  Conference publication. .
• Gutierrez, J., Kraus, S., & Wooldridge, M. (2019). Cooperative concurrent games. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas Vol. 2 (pp. 1198-1206).
  Conference publication.

2018

• Gutierrez, J., Perelli, G., & Wooldridge, M. (2018). Imperfect information in Reactive Modules games. Information and Computation, 261, 650-675. doi:10.1016/j.ic.2018.02.023
  Article. .
• Gutierrez, J., & Wooldridge, M. (2018). Preface to the SR-2015 special issue. Information and Computation, 261, 487. doi:10.1016/j.ic.2017.09.007
  Article. .
• Gutierrez, J. (2018). On fixpoint logics and equivalences for processes with restricted nondeterminism. In Journal of Logic and Computation Vol. 28 (pp. 779-807). doi:10.1093/logcom/exv032
  Conference publication. .
• Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2018). EVE: A Tool for Temporal Equilibrium Analysis. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 11138 LNCS (pp. 551-557). doi:10.1007/978-3-030-01090-4_35
  Conference publication. .
• Gutierrez, J., Harrenstein, P., Steeples, T., & Wooldridge, M. (2018). Local equilibria in logic-based multi-player games. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas Vol. 1 (pp. 399-406).
  Conference publication.

2017

• Gutierrez, J., Harrenstein, P., Perelli, G., & Wooldridge, M. (2017). Nash equilibrium and bisimulation invariance. In Leibniz International Proceedings in Informatics Lipics Vol. 85. doi:10.4230/LIPIcs.CONCUR.2017.17
  Conference publication. .
• Gutierrez, J., Harrenstein, P., & Wooldridge, M. (2017). From model checking to equilibrium checking: Reactive modules for rational verification. Artificial Intelligence, 248, 123-157. doi:10.1016/j.artint.2017.04.003
  Article. .
• Gutierrez, J., Harrenstein, P., & Wooldridge, M. (2017). Reasoning about equilibria in game-like concurrent systems. Annals of Pure and Applied Logic, 168(2), 373-403. doi:10.1016/j.apal.2016.10.009
  Article. .
• Gutierrez, J., Perelli, G., & Wooldridge, M. (2017). Iterated games with LDL goals over finite traces. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas Vol. 2 (pp. 696-704).
  Conference publication.
• Gao, T., Gutierrez, J., & Wooldridge, M. (2017). Iterated Boolean games for rational verification. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas Vol. 2 (pp. 705-713).
  Conference publication.
• Gutierrez, J., Murano, A., Perelli, G., Rubin, S., & Wooldridge, M. (2017). Nash equilibria in concurrent games with lexicographic preferences. In Ijcai International Joint Conference on Artificial Intelligence Vol. 0 (pp. 1067-1073). doi:10.24963/ijcai.2017/148
  Conference publication. .

2016

• Bradfield, J., Gutierrez, J., & Wooldridge, M. (2016). Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. Synthese, 193(3), 781-811. doi:10.1007/s11229-015-0991-y
  Article. .
• Gutierrez, J., Perelli, G., & Wooldridge, M. (2016). Imperfect information in reactive modules games. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 390-399).
  Conference publication.
• Wooldridge, M., Gutierrez, J., Harrenstein, P., Marchioni, E., Perelli, G., & Toumi, A. (2016). Rational verification: From model checking to equilibrium checking. In 30th Aaai Conference on Artificial Intelligence Aaai 2016 (pp. 4184-4190).
  Conference publication.
• Gutierrez, J., Harrenstein, P., Perelli, G., & Wooldridge, M. (2016). Expressiveness and nash equilibrium in iterated boolean games. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems Aamas (pp. 707-715).
  Conference publication.

2015

• Gutierrez, J., Harrenstein, P., & Wooldridge, M. (2015). Iterated Boolean games. Information and Computation, 242, 53-79. doi:10.1016/j.ic.2015.03.011
  Article. .
• Gutierrez, J., Harrenstein, P., & Wooldridge, M. (2015). Expressiveness and complexity results for strategic reasoning. In Leibniz International Proceedings in Informatics Lipics Vol. 42 (pp. 268-282). doi:10.4230/LIPIcs.CONCUR.2015.268
  Conference publication. .
• Toumi, A., Gutierrez, J., & Wooldridge, M. (2015). A tool for the automated verification of Nash equilibria in concurrent games. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 9399 (pp. 583-594). doi:10.1007/978-3-319-25150-9_34
  Conference publication. .
• Gutierrez, J. (2015). A mathematical game semantics of concurrency and nondeterminism. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 9399 (pp. 597-607). doi:10.1007/978-3-319-25150-9_35
  Conference publication. .

2014

• Gutierrez, J., & Wooldridge, M. (2014). Equilibria of concurrent games on event structures. In Proceedings of the Joint Meeting of the 23rd Eacsl Annual Conference on Computer Science Logic Csl 2014 and the 29th Annual ACM IEEE Symposium on Logic in Computer Science Lics 2014. doi:10.1145/2603088.2603145
  Conference publication. .
• Gutierrez, J., & Winskel, G. (2014). On the determinacy of concurrent games on event structures with infinite winning sets. Journal of Computer and System Sciences, 80(6), 1119-1137. doi:10.1016/j.jcss.2014.04.005
  Article. .
• Gutierrez, J., Harrenstein, P., & Wooldridge, M. (2014). Reasoning about equilibria in game-like concurrent systems. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 408-417).
  Conference publication.
• Gutierrez, J., Klaedtke, F., & Lange, M. (2014). The μ-calculus alternation hierarchy collapses over structures with restricted connectivity. Theoretical Computer Science, 560(P3), 292-306. doi:10.1016/j.tcs.2014.03.027
  Article. .

2013

• Gutierrez, J., Harrenstein, P., & Wooldridge, M. (2013). Iterated Boolean games. In Ijcai International Joint Conference on Artificial Intelligence (pp. 932-938).
  Conference publication.
• Clairambault, P., Gutierrez, J., & Winskel, G. (2013). Imperfect information in logic and concurrent games. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 7860 LNCS, 7-20. doi:10.1007/978-3-642-38164-5_2
  Article. .
• Gutierrez, J., & Winskel, G. (2013). Borel determinacy of concurrent games. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 8052 LNCS (pp. 516-530). doi:10.1007/978-3-642-40184-8_36
  Conference publication. .

2012

• Clairambault, P., Gutierrez, J., & Winskel, G. (2012). The winning ways of concurrent games. In Proceedings of the 2012 27th Annual ACM IEEE Symposium on Logic in Computer Science Lics 2012 (pp. 235-244). doi:10.1109/LICS.2012.34
  Conference publication. .
• Gutierrez, J., Klaedtke, F., & Lange, M. (2012). The μ-calculus alternation hierarchy collapses over structures with restricted connectivity. In Electronic Proceedings in Theoretical Computer Science Eptcs Vol. 96 (pp. 113-126). doi:10.4204/EPTCS.96.9
  Conference publication. .

2011

• Gutierrez, J., & Bradfield, J. (2011). Model-checking games for fixpoint logics with partial order models. In Information and Computation Vol. 209 (pp. 766-781). doi:10.1016/j.ic.2010.12.002
  Conference publication. .
• Gutierrez, J. (2011). Concurrent logic games on partial orders. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 6642 LNAI (pp. 146-160). doi:10.1007/978-3-642-20920-8_17
  Conference publication. .

2009

• Gutierrez, J. (2009). Logics and Bisimulation Games for Concurrency, Causality and Conflict. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 5504 LNCS (pp. 48-62). doi:10.1007/978-3-642-00596-1_5
  Conference publication. .
• Gutierrez, J., & Bradfield, J. (2009). Model-checking games for fixpoint logics with partial order models. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics Vol. 5710 LNCS (pp. 354-368). doi:10.1007/978-3-642-04081-8_24
  Conference publication. .

2007

• Gutiérrez, J., Pérez, J. A., Rueda, C., & Valencia, F. D. (2007). Timed Concurrent Constraint Programming for Analysing Biological Systems. Electronic Notes in Theoretical Computer Science, 171(2 SPEC. ISS.), 117-137. doi:10.1016/j.entcs.2007.05.012
  Article. .

Unpublished works

• Gutierrez, J., Cai, Z., Cardenas, C. R., Leo, K., Zhang, C., Backman, K., . . . Rezatofighi, H. (n.d.). NEUSIS: A compositional neuro-symbolic framework for autonomous perception, reasoning, and planning in complex UAV search missions. In Unknown Conference (pp. pages).
  Conference publication. .
• Gutierrez, J., Cai, Z., Cardenas, C. R., Leo, K., Zhang, C., Backman, K., . . . Rezatofighi, H. (n.d.). NEUSIS: A compositional neuro-symbolic framework for autonomous perception, reasoning, and planning in complex UAV search missions. In Unknown Conference (pp. pages).
  Conference publication. .
• Hernandez, G., Garcia, J., Gutierrez, J., & Tack, G. (2026, May 26). No-opponent-cycle propagators for solving parity games. In Lecture Notes in Computer Science (pp. pages). Rabat, Morocco: Springer.
  Conference publication. .
• Hernandez, G., Garcia, J., Gutierrez, J., & Tack, G. (2026, May 26). No-opponent-cycle propagators for solving parity games. In Lecture Notes in Computer Science (pp. pages). Rabat, Morocco: Springer.
  Conference publication. .