Skip to content
F

Fairsyn

Project ID: 2140

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