Follow
Muhammad Najib
Title
Cited by
Cited by
Year
EVE: A tool for temporal equilibrium analysis
J Gutierrez, M Najib, G Perelli, M Wooldridge
International Symposium on Automated Technology for Verification and …, 2018
242018
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
J Gutierrez, M Najib, G Perelli, M Wooldridge
Artificial Intelligence 287, 103353, 2020
202020
On Computational Tractability for Rational Verification
J Gutierrez, M Najib, G Perelli, M Wooldridge
Proceedings of the Twenty-Eighth International Joint Conference on …, 2019
142019
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
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
72020
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
72019
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
42021
On the complexity of rational verification
J Gutierrez, M Najib, G Perelli, M Wooldridge
Annals of Mathematics and Artificial Intelligence, 1-22, 2022
12022
Rational verification in multi-agent systems
M Najib
University of Oxford, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–9