SYNTCOMP Camp

SYNT Camp 2019 with ETAPS 2019

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 m ...