Muhammad Najib

View Scopus Profile

Muhammad Najib

Dr

 https://orcid.org/0000-0002-6289-5124

  • 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.

20182025

Research activity per year

Filter
Conference contribution

Search results

  • 2025

    Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems

    Mu, C., Najib, M. & Oren, N., 11 Apr 2025, Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, p. 23258-23266 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 39, no. 22).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 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 proceeding › Conference contribution

    Open Access
    File
    23 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 proceeding › Conference contribution

    Open Access
    File
    46 Downloads (Pure)

  • Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents

    Gutierrez, J., Hyland, D., Najib, M., Perelli, G. & Wooldridge, M., Aug 2024, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24). International Joint Conferences on Artificial Intelligence, p. 67-75 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Synthesis of Reward Machines for Multi-Agent Equilibrium Design

    Najib, M. & Perelli, G., 17 Oct 2024, 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024). IOS Press, p. 2733-2740 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    53 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 proceeding › Conference contribution

    10 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 proceeding › Conference contribution

    4 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 proceeding › Conference contribution

    Open Access
    File
    8 Citations (Scopus)
    23 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 proceeding › Conference contribution

    Open Access
    13 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 proceeding › Conference contribution

    24 Citations (Scopus)