The target audience of this short tutorial (3.5 hours) are researchers that are interested in the state of the art regarding theory and implementations of the automatic synthesis of reactive systems.
With the advent of the reactive synthesis competition (SYNTCOMP: http://www.syntcomp.org/), the synthesis community has made major improvements both with respect to efficient algorithms and their implementation in mature, push-button tools. On the one hand, the standard benchmark library of the competition may provide you with a potential source of interesting problems for your own research, and on the other hand reactive synthesis tools may be used as building blocks in other projects.
The tutorial will be separated into two parts: the first part will give a background on the history and the theoretical foundations of reactive synthesis and SYNTCOMP. The second part will go in-depth on one of the successful approaches and present its implementation in the tool BoSy (https://www.react.uni-saarland.de/tools/bosy/).
|Link to publication DOI Pre-print|
Not scheduled yet