Practical Model Reductions for Verification of Multi-Agent Systems.

Wojciech Jamroga, Yan Kim

Browse the full IJCAI paper archive.