|
[HRRS13]
Josie Hunter, Franco Raimondi, Neha Rungta and Richard Stocker.
A synergistic and extensible framework for multi-agent system verification.
In Proc. International conference on Autonomous Agents and Multi-Agent Systems (AAMAS'13).
2013.
[Presents a verification approach based on the Brahms multi-agent framework, with connections to several model checkers, including PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|