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

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.