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/).
Sun 7 AprDisplayed 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 60mTutorial | Reactive Synthesis Background and the Synthesis Competition SYNT Camp Guillermo A. Perez University of Antwerp | ||
10:00 30mTutorial | 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 60mTutorial | Hand-on Synthesis Experience with BoSy (part 2) SYNT Camp Leander Tentrup Saarland University | ||
| Sun 7 Apr 2019 SYNTCOMP Camp 2019 |
