Muhammad Najib

According to our database, Muhammad Najib authored at least 17 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems.

Chunyan Mu, Muhammad Najib, Nir Oren

CoRR, 2024

Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version).

Muhammad Najib, Giuseppe Perelli

CoRR, 2024

Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents.

Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Synthesis of Reward Machines for Multi-Agent Equilibrium Design.

Muhammad Najib, Giuseppe Perelli

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Concurrent Stochastic Lossy Channel Games.

Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games.

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

On the complexity of rational verification.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Ann. Math. Artif. Intell., August, 2023

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version).

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge

CoRR, 2023

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

CoRR, 2023

2021

Rational verification: game-theoretic verification of multi-agent systems.

Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge

Appl. Intell., 2021

Rational Verification for Probabilistic Systems.

Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

Rational verification in multi-agent systems.

Muhammad Najib

PhD thesis, 2020

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Artif. Intell., 2020

Parameterized Synthesis with Safety Properties.

Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

On Computational Tractability for Rational Verification.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Equilibrium Design for Concurrent Games.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

EVE: A Tool for Temporal Equilibrium Analysis.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the Automated Technology for Verification and Analysis, 2018