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

Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert

Abstract

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.

BibTeX

@inproceedings{Gorenstein-al:ICSE24,
  author    = {Ariel Gorenstein and
               Shahar Maoz and
               Jan Oliver Ringert},
  title     = {Kind Controllers and Fast Heuristics for {Non-Well-Separated} {GR(1)} Specifications},
  booktitle = {ICSE},
  pages     = {28:1--28:12},
  publisher = {{ACM}},
  year      = {2024},
}

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

Abstract

Related papers