How to Handle Assumptions in Synthesis

Abstract

The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present four goals that we think should be met and review several different possibilities that have been proposed. We argue that each of them falls short in at least one aspect.

In Proceedings SYNT 2014, arXiv:1407.4937

References in corpus (2)

• Synthesizing Robust Systems with RATSY
• Rapid Recovery for Systems with Scarce Faults

Cited by in corpus (12)

• Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
• Solving Two-Player Games under Progress Assumptions
• DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis
• Opportunistic Synthesis in Reactive Games under Information Asymmetry
• Dynamic Hierarchical Reactive Controller Synthesis
• Specification and Reactive Synthesis of Robust Controllers
• Non-Zero Sum Games for Reactive Synthesis
• Assume-Admissible Synthesis
• Coverability: Realizability Lower Bounds
• Optimal Assumptions for Synthesis
• Cooperative Reactive Synthesis
• Environmentally-friendly GR(1) Synthesis