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
232018
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
J Gutierrez, M Najib, G Perelli, M Wooldridge
Artificial Intelligence 287, 103353, 2020
172020
On Computational Tractability for Rational Verification
J Gutierrez, M Najib, G Perelli, M Wooldridge
Proceedings of the Twenty-Eighth International Joint Conference on …, 2019
122019
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
52021
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
52019
Parameterized synthesis with safety properties
O Markgraf, CD Hong, AW Lin, M Najib, D Neider
Asian Symposium on Programming Languages and Systems, 273-292, 2020
42020
Rational Verification for Probabilistic Systems
J Gutierrez, L Hammond, AW Lin, M Najib, M Wooldridge
arXiv preprint arXiv:2107.09119, 2021
22021
On the complexity of rational verification
J Gutierrez, M Najib, G Perelli, M Wooldridge
Annals of Mathematics and Artificial Intelligence, 1-22, 2022
2022
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