Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert · 2024
Non-well-separation (NWS) is a known quality issue in specifications for reactive synthesis. The problem of NWS occurs when the synthesized system can avoid satisfying its guarantees by preventing the environment from being able to satisfy its assumptions.