6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Reactive synthesis for the GR(1) fragment of LTL has been implemented and studied in many works. In this workshop paper we present and evaluate a list of heuristics to potentially…