63 citations · 383 across the 27 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…