Muhammad Najib
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems. | Chunyan Mu, Muhammad Najib, Nir Oren |
| 2024 | CSL | Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. | Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge |
| 2024 | CSL | Concurrent Stochastic Lossy Channel Games. | Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla |
| 2024 | ECAI | Synthesis of Reward Machines for Multi-Agent Equilibrium Design. | Muhammad Najib, Giuseppe Perelli |
| 2024 | IJCAI | Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. | Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2021 | KR | Rational Verification for Probabilistic Systems. | Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge |
| 2020 | APLAS | Parameterized Synthesis with Safety Properties. | Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider |
| 2019 | CONCUR | Equilibrium Design for Concurrent Games. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2019 | IJCAI | On Computational Tractability for Rational Verification. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |
| 2018 | ATVA | EVE: A Tool for Temporal Equilibrium Analysis. | Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge |