Follow
Muhammad Najib
Title
Cited by
Cited by
Year
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
J Gutierrez, M Najib, G Perelli, M Wooldridge
Artificial Intelligence 287, 103353, 2020
302020
EVE: A tool for temporal equilibrium analysis
J Gutierrez, M Najib, G Perelli, M Wooldridge
International Symposium on Automated Technology for Verification and …, 2018
272018
Rational verification: game-theoretic verification of multi-agent systems
A Abate, J Gutierrez, L Hammond, P Harrenstein, M Kwiatkowska, M Najib, ...
Applied Intelligence 51 (9), 6569-6584, 2021
232021
On Computational Tractability for Rational Verification
J Gutierrez, M Najib, G Perelli, M Wooldridge
Proceedings of the Twenty-Eighth International Joint Conference on …, 2019
202019
Equilibrium Design for Concurrent Games
J Gutierrez, M Najib, G Perelli, M Wooldridge
30th International Conference on Concurrency Theory 140, 22:1--22:16, 2019
142019
Rational verification for probabilistic systems
J Gutierrez, L Hammond, AW Lin, M Najib, M Wooldridge
Proceedings of the International Conference on Principles of Knowledge …, 2021
112021
Parameterized synthesis with safety properties
O Markgraf, CD Hong, AW Lin, M Najib, D Neider
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka …, 2020
92020
On the complexity of rational verification
J Gutierrez, M Najib, G Perelli, M Wooldridge
Annals of Mathematics and Artificial Intelligence 91 (4), 409-430, 2023
42023
Characterising and verifying the core in concurrent multi-player mean-payoff games (full version)
J Gutierrez, AW Lin, M Najib, T Steeples, M Wooldridge
arXiv preprint arXiv:2311.15883, 2023
12023
Concurrent Stochastic Lossy Channel Games
D Stan, M Najib, AW Lin, PA Abdulla
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 46: 1-46: 19, 2024
2024
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games
J Gutierrez, AW Lin, M Najib, T Steeples, M Wooldridge
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 2024
2024
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
J Gutierrez, M Najib, G Perelli, M Wooldridge
arXiv preprint arXiv:2306.03045, 2023
2023
Verifying and Designing Equilibria in Multi-Agent Systems
M Najib
2019
Rational verification in multi-agent systems
M Najib
University of Oxford, 2019
2019
Some Approaches to Rational Verification in Multiagent Systems
M Najib
2017
The system can't perform the operation now. Try again later.
Articles 1–15