• 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

Filter
Conference contribution

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
    26 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
    45 Downloads (Pure)
  • 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

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

    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)
    26 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
    11 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)