38 citations · 133 across the 14 of their papers we have counts for
1 paper · 2 filters
Shahar Maoz, Jan Oliver Ringert
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from a given specification. GR(1) is a well-known fragment of linear temporal logic…