F

Fairsyn

Parallel reactive synthesis for omega-regular specifications under the transition fairness condition