S

synthesis-with-edge-fairness

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