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
202018
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
J Gutierrez, M Najib, G Perelli, M Wooldridge
Artificial Intelligence 287, 103353, 2020
92020
On Computational Tractability for Rational Verification
J Gutierrez, M Najib, G Perelli, M Wooldridge
Proceedings of the Twenty-Eighth International Joint Conference on …, 2019
72019
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
22020
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
22019
Rational Verification for Probabilistic Systems
J Gutierrez, L Hammond, AW Lin, M Najib, M Wooldridge
arXiv preprint arXiv:2107.09119, 2021
12021
Rational verification: game-theoretic verification of multi-agent systems
A Abate, J Gutierrez, L Hammond, P Harrenstein, M Kwiatkowska, M Najib, ...
Applied Intelligence, 1-16, 2021
2021
Parameterized Synthesis with Safety Properties
M Najib, D Neider
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka …, 2020
2020
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