Folgen
Muhammad Najib
Titel
Zitiert von
Zitiert von
Jahr
EVE: A tool for temporal equilibrium analysis
J Gutierrez, M Najib, G Perelli, M Wooldridge
International Symposium on Automated Technology for Verification and …, 2018
342018
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
332021
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
J Gutierrez, M Najib, G Perelli, M Wooldridge
Artificial Intelligence 287, 103353, 2020
322020
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
192019
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
152021
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
112023
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
102020
Rational verification in multi-agent systems
M Najib
University of Oxford, 2019
32019
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
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
J Gutierrez, M Najib, G Perelli, M Wooldridge
Logical Methods in Computer Science 20, 2024
2024
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems
C Mu, M Najib, N Oren
arXiv preprint arXiv:2411.00146, 2024
2024
Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version)
M Najib, G Perelli
arXiv preprint arXiv:2408.10074, 2024
2024
Endogenous energy reactive modules games: modelling side payments among resource-bounded agents
J Gutierrez, D Hyland, M Najib, G Perelli, M Wooldridge
Proceedings of the Thirty-Third International Joint Conference on Artificial …, 2024
2024
Concurrent Stochastic Lossy Channel Games
D Stan, M Najib, AW Lin, PA Abdulla
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 2024
2024
Synthesis of Reward Machines for Multi-Agent Equilibrium Design
M Najib, G Perelli
ECAI 2024, 2733-2740, 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
Verifying and Designing Equilibria in Multi-Agent Systems
M Najib
2019
Some Approaches to Rational Verification in Multiagent Systems
M Najib
2017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–19