Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert
2024Year
6Citations
1Top-tier citations
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.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get b0f079b2-f7c8-4b38-a718-fbcff0b8ef01Cited by top-tier papers1
Ask how each one uses itRelated papers
- Accelerating Kind Realizability: A Multi-stage Incremental Realizability Checking FrameworkSirui Liu, Wei DongFM 2026
- Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?Rafi Shalom, Shahar MaozICSE 2023 · 6 citations
- Using Reactive Synthesis: An End-to-End Exploratory Case StudyDor Ma'ayan, Shahar MaozICSE 2023 · 10 citations
- Unrealizable Cores for Reactive Systems SpecificationsShahar Maoz, Rafi ShalomICSE 2021 · 2 citations
- Unavoidable Boundary Conditions: a Control Perspective on Goal ConflictsFrancisco Cirelli, Dalal Alrajeh, Sebastián UchitelICSE 2025
