Muhammad Najib
Muhammad Najib
Room
017,
Wolfson Building,
Parks Road, Oxford OX1 3QD
United Kingdom
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