• 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.
Filter
Conference contribution

Search results

  • 2021

    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

    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)