Muhammad Najib

25 papers A* 4A 1B 5Journal 14
YearRankTypeTitle / Venue / Authors
2025 A* conf
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems.
AAAI
Chunyan Mu, Muhammad Najib, Nir Oren
2024 B conf
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games.
CSL
Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
2024 B conf
Concurrent Stochastic Lossy Channel Games.
CSL
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
2024 J jnl
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints.
Log. Methods Comput. Sci.
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2024 A* conf
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents.
IJCAI
Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2024 J jnl
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems.
CoRR
Chunyan Mu, Muhammad Najib, Nir Oren
2024 J jnl
Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version).
CoRR
Muhammad Najib, Giuseppe Perelli
2024 A conf
Synthesis of Reward Machines for Multi-Agent Equilibrium Design.
ECAI
Muhammad Najib, Giuseppe Perelli
2023 J jnl
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version).
CoRR
Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
2023 J jnl
Concurrent Stochastic Lossy Channel Games.
CoRR
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
2023 J jnl
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints.
CoRR
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2023 J jnl
On the complexity of rational verification.
Ann. Math. Artif. Intell.
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2022 J jnl
On the Complexity of Rational Verification.
CoRR
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2021 J jnl
Equilibrium Design for Concurrent Games.
CoRR
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2021 A* conf
Rational Verification for Probabilistic Systems.
KR
Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
2021 J jnl
Rational Verification for Probabilistic Systems.
CoRR
Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
2021 J jnl
Rational verification: game-theoretic verification of multi-agent systems.
Appl. Intell.
Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge
2020 J jnl
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games.
CoRR
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2020 J jnl
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.
Artif. Intell.
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2020 B conf
Parameterized Synthesis with Safety Properties.
APLAS
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
2020 J jnl
Parameterized Synthesis with Safety Properties.
CoRR
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
2020 — —
Rational verification in multi-agent systems.
Muhammad Najib
2019 B conf
Equilibrium Design for Concurrent Games.
CONCUR
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2019 A* conf
On Computational Tractability for Rational Verification.
IJCAI
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2018 B conf
EVE: A Tool for Temporal Equilibrium Analysis.
ATVA
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge