• EH14 4AS

    United Kingdom

Accepting PhD Students

PhD projects

Any topic within my research interests (see Research Interests below). If you have a potential project in mind, feel free to drop me an email to discuss further.

20182024

Research activity per year

Search results

  • 2024

    Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games

    Gutierrez, J., Lin, A. W., Najib, M., Steeples, T. & Wooldridge, M., 7 Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 32:1-32:25 25 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 288).

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

    Open Access
    File
    22 Downloads (Pure)
  • Concurrent Stochastic Lossy Channel Games

    Stan, D., Najib, M., Lin, A. W. & Abdulla, P. A., 7 Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 46:1-46:19 19 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 288).

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

    Open Access
    File
    36 Downloads (Pure)
  • 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
    2 Citations (Scopus)
  • 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., Sept 2021, In: Applied Intelligence. 51, 9, p. 6569-6584 16 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    13 Citations (Scopus)
    53 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

    5 Citations (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

    19 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

    3 Citations (Scopus)
  • 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
    5 Citations (Scopus)
    19 Downloads (Pure)
  • 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
    10 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

    19 Citations (Scopus)