research
∙
10/12/2019
Minimal Assumptions Refinement for GR(1) Specifications
Reactive synthesis is concerned with finding a correct-by-construction c...
research
∙
05/08/2018