Cited By
View all- Arisaka RSatoh KLarson KWinikoff MDas SDurfee E(2017)Coalition Formability Semantics with Conflict-Eliminable Sets of ArgumentsProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091332(1469-1471)Online publication date: 8-May-2017
- Lomuscio AMichaliszyn JWeiss GYolum PBordini RElkind E(2015)Verifying Multi-Agent Systems by Model Checking Three-valued AbstractionsProceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems10.5555/2772879.2772907(189-198)Online publication date: 4-May-2015
- Lomuscio AMichaliszyn J(2014)An abstraction technique for the verification of multi-agent systems against ATL specificationsProceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning10.5555/3031929.3031981(428-437)Online publication date: 20-Jul-2014
- Show More Cited By