Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications.

Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert

Browse the full ICSE paper archive.