Muhammad Najib

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 18

Top Topics

Automata Theoretic

Nash Equilibrium

Top Venues

Ann. Math. Artif. Intell.

Publications

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. CSL (2024)
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
Concurrent Stochastic Lossy Channel Games. CSL (2024)
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
Concurrent Stochastic Lossy Channel Games. CoRR (2023)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On the complexity of rational verification. Ann. Math. Artif. Intell. 91 (4) (2023)
Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). CoRR (2023)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. CoRR (2023)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On the Complexity of Rational Verification. CoRR (2022)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Equilibrium Design for Concurrent Games. CoRR (2021)
Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
Rational Verification for Probabilistic Systems. CoRR (2021)
Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge
Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. 51 (9) (2021)
Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
Rational Verification for Probabilistic Systems. KR (2021)
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Parameterized Synthesis with Safety Properties. APLAS (2020)
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Parameterized Synthesis with Safety Properties. CoRR (2020)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. CoRR (2020)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Artif. Intell. 287 (2020)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On Computational Tractability for Rational Verification. IJCAI (2019)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Equilibrium Design for Concurrent Games. CONCUR (2019)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
EVE: A Tool for Temporal Equilibrium Analysis. ATVA (2018)