How to Handle Assumptions in Synthesis

TL;DR

This paper examines strategies for managing assumptions about environment behavior in reactive synthesis, evaluating various approaches against four key goals and highlighting their shortcomings.

Contribution

It provides a comprehensive review of existing methods for handling assumptions in reactive synthesis and discusses their limitations relative to desired criteria.

Findings

Existing approaches often fail to meet all four proposed goals.

No current method fully addresses assumptions in reactive synthesis.

The paper identifies gaps and suggests directions for future research.

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.