Muhammad Najib

Muhammad Najib

Associate Member

Student, Linacre College

E: mnajib@cs.ox.ac.uk

Room 017, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom

Themes:

• Artificial Intelligence and Machine Learning
• Automated Verification

See Also:

• Personal Webpage

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

View AllManage 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

Activities

• Concurrency in games
• Rational verification