How to Handle Assumptions in Synthesis

Roderick Bloem, Rüdiger Ehlers, Swen Jacobs +1

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 t…