Muhammad Najib : Publications

Conference papers

• [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