• EH14 4AS

    United Kingdom

Accepting PhD Students

PhD projects

Any topic within my research interests.

20182022

Research activity per year

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

Search results

  • 2022

    On the complexity of rational verification

    Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., 14 Jul 2022, In: Annals of Mathematics and Artificial Intelligence.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • 2021

    Rational verification: game-theoretic verification of multi-agent systems

    Abate, A., Gutierrez, J., Hammond, L., Harrenstein, P., Kwiatkowska, M., Najib, M., Perelli, G., Steeples, T. & Wooldridge, M., Sep 2021, In: Applied Intelligence. 51, 9, p. 6569-6584 16 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    5 Citations (Scopus)
    11 Downloads (Pure)
  • Rational Verification for Probabilistic Systems

    Gutierrez, J., Hammond, L., Lin, A. W., Najib, M. & Wooldridge, M., 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Bienvenu, M., Lakemeyer, G. & Erdem, E. (eds.). IJCAI, p. 312-322 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 2020

    Automated temporal equilibrium analysis: Verification and synthesis of multi-player games

    Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., Oct 2020, In: Artificial Intelligence. 287, 103353.

    Research output: Contribution to journalArticlepeer-review

    11 Citations (Scopus)
  • Parameterized Synthesis with Safety Properties

    Markgraf, O., Hong, C-D., Lin, A. W., Najib, M. & Neider, D., 2020, Programming Languages and Systems. APLAS 2020. Oliveira, B. C. (ed.). Springer, p. 273-292 20 p. (Lecture Notes in Computer Science; vol. 12470).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2019

    Equilibrium design for concurrent games

    Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 22. (Leibniz International Proceedings in Informatics; vol. 140).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    2 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 (IJCAI-19). Kraus, S. (ed.). IJCAI, p. 329-335 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    7 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. ATVA 2018. Wang, C. & Lahiri, S. K. (eds.). Springer, p. 551-557 7 p. (Lecture Notes in Computer Science; vol. 11138).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    18 Citations (Scopus)