An extensive model checking framework for multi-agent systems. Song, S., Liu, Y., Zhang, J., & Sun, J. In Proceedings of Autonomous Agents & Multiagent Systems (AAMAS), pages 1645-1646, 2014.
An extensive model checking framework for multi-agent systems [link]Paper  An extensive model checking framework for multi-agent systems [pdf]Paper  bibtex   

Downloads: 0