@inproceedings{DBLP:conf/atal/LomuscioP15,
  title = "Verification of Multi-Agent Systems via SDD-based Model Checking",
  author = "Alessio Lomuscio and Hugo Paquet",
  year = "2015",
  booktitle = "Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015",
  pages = "1713--1714",
  url = "http://dl.acm.org/citation.cfm?id=2773399",
}