Muhammad Najib
Muhammad Najib
Interests
My current research is in the use of formal techniques for verifying and reasoning about systems composed of multiple self-interested intelligent agents. It combines approaches from formal verification, logic, automata theory, and game theory. The work is documented on EVE (Equilibrium Verification Environment) Web.
Selected Publications
-
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
-
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
-
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