ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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:, 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.

Tutorial Contents

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 (

No schedule or scheduled events are not visible yet, check back later

Not scheduled yet

syntcompcamp-2019-tutorialNot scheduled yet
Guillermo A. PerezUniversity of Antwerp
syntcompcamp-2019-tutorialNot scheduled yet
Leander TentrupSaarland University