Practical Abstraction for Model Checking of Multi-Agent Systems.

Wojciech Jamroga, Yan Kim

Browse the full KR paper archive.