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

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 (https://www.react.uni-saarland.de/tools/bosy/).

Title
Hand-on Synthesis Experience with BoSy
SYNT Camp
Link to publication DOI Pre-print
Hand-on Synthesis Experience with BoSy (part 2)
SYNT Camp
Reactive Synthesis Background and the Synthesis Competition
SYNT Camp
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Reactive Synthesis Background & SYNTCOMPSYNT Camp at SW2 (SYNT Camp)
Chair(s): Guillermo A. Perez University of Antwerp, Leander Tentrup Saarland University
09:00
60m
Tutorial
Reactive Synthesis Background and the Synthesis Competition
SYNT Camp
Guillermo A. Perez University of Antwerp
10:00
30m
Tutorial
Hand-on Synthesis Experience with BoSy
SYNT Camp
Leander Tentrup Saarland University
Link to publication DOI Pre-print
11:00 - 12:00
Hands-on BoSy TutorialSYNT Camp at SW2 (SYNT Camp)
Chair(s): Guillermo A. Perez University of Antwerp, Leander Tentrup Saarland University
11:00
60m
Tutorial
Hand-on Synthesis Experience with BoSy (part 2)
SYNT Camp
Leander Tentrup Saarland University