Practical Model Reductions for Verification of Multi-Agent Systems

Re-assign community