Muhammad Najib : Publications

Click here to download all publications in a single bibtex file

@inproceedings{12575,
  title = "Equilibrium Design for Concurrent Games",
  author = "Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge",
  year = "2019",
  booktitle = "CONCUR",
  url = "http://drops.dagstuhl.de/opus/volltexte/2019/10924/pdf/LIPIcs-CONCUR-2019-22.pdf",
}

@inproceedings{12563,
  title = "On Computational Tractability for Rational Verification",
  author = "Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge",
  year = "2019",
  booktitle = "IJCAI",
  url = "https://www.ijcai.org/proceedings/2019/0047.pdf",
}

@inproceedings{gutierrez2018eve,
  title = "EVE: A tool for temporal equilibrium analysis",
  author = "Gutierrez, Julian and Najib, Muhammad and Perelli, Giuseppe and Wooldridge, Michael",
  year = "2018",
  booktitle = "ATVA",
  url = "https://valvestate.github.io/files/atva18.pdf",
}