EVE: A Tool for Temporal Equilibrium Analysis. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (ATVA, 2018)

Equilibrium Design for Concurrent Games. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (CONCUR, 2019)

On Computational Tractability for Rational Verification. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (IJCAI, 2019)

Parameterized Synthesis with Safety Properties. - Oliver Markgraf; Chih-Duo Hong; Anthony W. Lin; Muhammad Najib; Daniel Neider (APLAS, 2020)

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (Artif. Intell., 2020)

Rational verification in multi-agent systems. - Muhammad Najib (2020)

Rational Verification for Probabilistic Systems. - Julian Gutierrez 001; Lewis Hammond; Anthony W. Lin; Muhammad Najib; Michael J. Wooldridge (KR, 2021)

Rational verification: game-theoretic verification of multi-agent systems. - Alessandro Abate; Julian Gutierrez 001; Lewis Hammond; Paul Harrenstein; Marta Kwiatkowska; Muhammad Najib; Giuseppe Perelli; Thomas Steeples; Michael J. Wooldridge (Appl. Intell., 2021)

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). - Julian Gutierrez 001; Anthony W. Lin; Muhammad Najib; Thomas Steeples; Michael J. Wooldridge (CoRR, 2023)

On the complexity of rational verification. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (Ann. Math. Artif. Intell., 2023)

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. - Julian Gutierrez 001; Anthony W. Lin; Muhammad Najib; Thomas Steeples; Michael J. Wooldridge (CSL, 2024)

Concurrent Stochastic Lossy Channel Games. - Daniel Stan; Muhammad Najib; Anthony Widjaja Lin; Parosh Aziz Abdulla (CSL, 2024)

Synthesis of Reward Machines for Multi-Agent Equilibrium Design. - Muhammad Najib; Giuseppe Perelli (ECAI, 2024)

Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. - Julian Gutierrez 001; David Hyland; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (IJCAI, 2024)

Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version). - Muhammad Najib; Giuseppe Perelli (CoRR, 2024)

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. - Julian Gutierrez 001; Muhammad Najib; Giuseppe Perelli; Michael J. Wooldridge (Log. Methods Comput. Sci., 2024)

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems. - Chunyan Mu; Muhammad Najib; Nir Oren (AAAI, 2025)