Statistics of STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions

Contact ORBilu