Accepting PhD Students

PhD projects

Fully-funded PhD studentships at Monash (any topic within my research interests). Contact me by email if you are interested. More information below -- see PhD opportunities -- or visit the website of the Monash Laboratory for the Foundations of Computing (link below).

20072023

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference Paper

Search results

  • 2023

    A matrix-based approach to parity games

    Aggarwal, S., Stuckey De La Banda, A., Yang, L. & Gutierrez, J., 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Paris, France, April 22–27, 2023 Proceedings, Part I. Sankaranarayanan, S. & Sharygina, N. (eds.). Cham Switzerland: Springer, p. 666–683 18 p. (Lecture Notes in Computer Science; vol. 13993).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
  • k-Prize Weighted Voting Games

    Lee, W-C., Hyland, D., Abate, A., Elkind, E., Gan, J., Gutierrez, J., Harrenstein, P. & Wooldridge, M., 2023, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems. Ricci, A. & Yeoh, W. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 2049-2057 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

  • Principal-agent Boolean games

    Hyland, D., Gutierrez, J. & Wooldridge, M., 2023, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. Elkind, E. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 144-152 9 p. (Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence; vol. 2023-August).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
  • 2022

    Giving instructions in Linear Temporal Logic

    Gutierrez, J., Kraus, S., Perelli, G. & Wooldridge, M., Nov 2022, 29th International Symposium on Temporal Representation and Reasoning. Artikis, A., Posenato, R. & Tonetta, S. (eds.). Saarbrücken/Wadern Germany: Schloss Dagstuhl, 14 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 247).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
  • 2021

    Mean-payoff games with ω-regular specifications

    Steeples, T., Gutierrez, J. & Wooldridge, M., 2021, AAMAS'21, Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems. Endriss, U. & Nowe, A. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 1260-1268 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    3 Citations (Scopus)
  • Multi-agent reinforcement learning with temporal logic specifications

    Hammond, L., Abate, A., Gutierrez, J. & Wooldridge, M., 2021, AAMAS'21, Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems. Endriss, U. & Nowé, A. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 583-592 10 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    16 Citations (Scopus)
  • Rational verification for probabilistic systems

    Gutierrez, J., Hammond, L., W. Lin, A., Najib Azca, M. & Wooldridge, M., 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning . Bienvenu, M., Lakemeyer, G. & Erdem, E. (eds.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 312-322 11 p. (Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    3 Citations (Scopus)
  • 2019

    Cooperative concurrent games

    Gutierrez, J., Kraus, S. & Wooldridge, M., 2019, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Agmon, N. & E. Taylor, M. (eds.). Richland SC USA: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1198-1206 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    6 Citations (Scopus)
  • Equilibrium design for concurrent games

    Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., 2019, 30th International Conference on Concurrency Theory. Fokkink, W. & van Glabbeek, R. (eds.). Saarbrücken/Wadern Germany: Schloss Dagstuhl, 16 p. 22. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    4 Citations (Scopus)
  • On computational tractability for rational verification

    Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence . Kraus, S. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 329-335 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    8 Citations (Scopus)
  • 2018

    EVE: a tool for temporal equilibrium analysis

    Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., 2018, Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018 Los Angeles, CA, USA, October 7–10, 2018 Proceedings. Lahiri, S. K. & Wang, C. (eds.). Cham Switzerland: Springer, p. 551-557 7 p. (Lecture Notes in Computer Science ; vol. 11138 ).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    18 Citations (Scopus)
  • Local equilibria in logic-based multi-player games

    Gutierrez, J., Harrenstein, P., Steeples, T. & Wooldridge, M., 2018, Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems. Dastani, M. & Sukthankar, G. (eds.). New York NY USA: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 399-406 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
  • 2017

    Iterated Boolean games for rational verification

    Gao, T., Gutierrez, J. & Wooldridge, M., 2017, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. Das, S. & Durfee, E. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 705-713 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    6 Citations (Scopus)
  • Iterated games with LDL goals over finite traces

    Gutierrez, J., Perelli, G. & Wooldridge, M., 2017, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. Das, S. & Durfee, E. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 696-704 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    11 Citations (Scopus)
  • Nash equilibria in concurrent games with lexicographic preferences

    Gutierrez, J., Murano, A., Perelli, G., Rubin, S. & Wooldridge, M., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Sierra, C. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1067-1073 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    19 Citations (Scopus)
  • Nash equilibrium and bisimulation invariance

    Gutierrez, J., Harrenstein, P., Perelli, G. & Wooldridge, M., 2017, 28th International Conference on Concurrency Theory. Meyer, R. & Nestmann, U. (eds.). Saarbrücken/Wadern Germany: Schloss Dagstuhl, 16 p. 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 85).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    10 Citations (Scopus)
  • 2016

    Expressiveness and Nash equilibrium in iterated Boolean games

    Gutierrez, J., Harrenstein, P., Perelli, G. & Wooldridge, M., 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. Thangarajah, J. & Tuyls, K. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 707-715 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    3 Citations (Scopus)
  • Imperfect information in Reactive Modules Games

    Gutierrez, J., Perelli, G. & Wooldridge, M., 2016, Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-16). Baral, C., Delgrande, J. & Wolter, F. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 390-399 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    10 Citations (Scopus)
  • Rational verification: from model checking to equilibrium checking

    Wooldridge, M., Gutierrez, J., Harrenstein, P., Marchioni, E., Perelli, G. & Toumi, A., 2016, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence . Schuurmans, D. & Wellman, M. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 4184-4190 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    41 Citations (Scopus)
  • 2015

    A mathematical game semantics of concurrency and nondeterminism

    Gutierrez, J., 2015, Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015 Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Cham Switzerland: Springer, p. 597-607 11 p. (Lecture Notes in Computer Science ; vol. 9399).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

  • A tool for the automated verification of Nash equilibria in concurrent games

    Toumi, A., Gutierrez, J. & Wooldridge, M., 2015, Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015 Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Cham Switzerland: Springer, p. 583-594 12 p. (Lecture Notes in Computer Science ; vol. 9399).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    23 Citations (Scopus)
  • Expressiveness and complexity results for strategic reasoning

    Gutierrez, J., Harrenstein, P. & Wooldridge, M., 2015, 26th International Conference on Concurrency Theory. Aceto, L. & de Frutos Escrig, D. (eds.). Saarbrücken/Wadern Germany: Schloss Dagstuhl, p. 268-282 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 42).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    19 Citations (Scopus)
  • 2014

    Equilibria of concurrent games on event structures

    Gutierrez, J. & Wooldridge, M., 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Henzinger, T. & Miller, D. (eds.). New York NY USA: Association for Computing Machinery (ACM), 10 p. 46

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    10 Citations (Scopus)
  • On the structure of events in Boolean games

    Bradfield, J., Gutierrez, J. & Wooldridge, M., 2014, LOFT 2014: The Eleventh Conference on Logic and The Foundations of Game and Decision Theory. Agotnes, T., Bonanno, G. & van der Hoek, W. (eds.). Bergen Norway: Springer, 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

  • Reasoning about equilibria in game-like concurrent systems

    Gutierrez, J., Harrenstein, P. & Wooldridge, M., 2014, Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning. Baral, C. & De Giacomo, G. (eds.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 408-417 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    File
    15 Citations (Scopus)
  • 2013

    Borel determinacy of concurrent games

    Gutierrez, J. & Winskel, G., 2013, Concurrency Theory - 24th International Conference, CONCUR 2013, Proceedings. Springer, p. 516-530 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8052 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    1 Citation (Scopus)
  • Imperfect information in logic and concurrent games

    Clairambault, P., Gutierrez, J. & Winskel, G., 2013, Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Coecke, B., Ong, L. & Panangaden, P. (eds.). Springer, p. 7-20 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7860 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    5 Citations (Scopus)
  • Iterated Boolean games

    Gutierrez, J., Harrenstein, P. & Wooldridge, M., 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence (AAAI), p. 932-938 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    18 Citations (Scopus)
  • 2012

    The winning ways of concurrent games

    Clairambault, P., Gutierrez, J. & Winskel, G., 2012, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012. IEEE, Institute of Electrical and Electronics Engineers, p. 235-244 10 p. 6280442. (Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    26 Citations (Scopus)
  • The μ-calculus alternation hierarchy collapses over structures with restricted connectivity

    Gutierrez, J., Klaedtke, F. & Lange, M., 2012, 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012. Open Publishing Association, Vol. 96. p. 113-126 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Open Access
    2 Citations (Scopus)
  • 2011

    Concurrent logic games on partial orders

    Gutierrez, J., 2011, Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Proceedings. Springer, p. 146-160 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6642 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    8 Citations (Scopus)
  • 2009

    Logics and bisimulation games for concurrency, causality and conflict

    Gutierrez, J., 2009, Foundations of Software Science and Computational Structures - 12th International Conference, FOSSACS 2009 - Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2009, Proc.. Springer, p. 48-62 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5504 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    15 Citations (Scopus)
  • Model-checking games for Fixpoint Logics with partial order models

    Gutierrez, J. & Bradfield, J., 2009, CONCUR 2009 - Concurrency Theory - 20th International Conference, CONCUR 2009, Proceedings. Springer, p. 354-368 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5710 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    11 Citations (Scopus)