Model Checking Strategies from Synthesis Over Finite Traces

Re-assign community