Muhammad Najib : Publications
-
[1]
Equilibrium Design for Concurrent Games
Julian Gutierrez‚ Muhammad Najib‚ Giuseppe Perelli and Michael Wooldridge
In CONCUR. 2019.
Details about Equilibrium Design for Concurrent Games | BibTeX data for Equilibrium Design for Concurrent Games | Download (pdf) of Equilibrium Design for Concurrent Games
-
[2]
On Computational Tractability for Rational Verification
Julian Gutierrez‚ Muhammad Najib‚ Giuseppe Perelli and Michael Wooldridge
In IJCAI. 2019.
Details about On Computational Tractability for Rational Verification | BibTeX data for On Computational Tractability for Rational Verification | Download (pdf) of On Computational Tractability for Rational Verification
-
[3]
EVE: A tool for temporal equilibrium analysis
Julian Gutierrez‚ Muhammad Najib‚ Giuseppe Perelli and Michael Wooldridge
In ATVA. 2018.
Details about EVE: A tool for temporal equilibrium analysis | BibTeX data for EVE: A tool for temporal equilibrium analysis | Download (pdf) of EVE: A tool for temporal equilibrium analysis