Verification of Multi−Agent Systems via SDD−based Model Checking
Alessio Lomuscio and Hugo Paquet
Book Title
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems‚ AAMAS 2015‚ Istanbul‚ Turkey‚ May 4−8‚ 2015
Pages
1713–1714
Year
2015