@article{AAAI2016:4184-4191,
  title = "Rational Verification: From Model Checking to Equilibrium Checking",
  author = "Michael Wooldridge and Julian Gutierrez and Paul Harrenstein and Enrico Marchioni and Giuseppe Perelli and Alexis Toumi",
  year = "2016",
  journal = "Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence",
  pages = "123-157",
  url = "https://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12268",
  volume = "248",
  doi = "10.1016/j.artint.2017.04.003",
}