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

Ariel Gorenstein; Shahar Maoz; Jan Oliver Ringert

doi:10.1145/3597503.3608131

ICSE2024顶会

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

Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert

DOI 出版方

2024年份

6被引次数

1顶会引用

摘要

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.