An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications.

Alessio Lomuscio, Jakub Michaliszyn

Browse the full KR paper archive.