research
∙
06/01/2022
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
We report on the last four editions of the reactive synthesis competitio...
share
research
∙
07/02/2021
Live Synthesis
Synthesis automatically constructs an implementation that satisfies a gi...
research
∙
01/18/2021
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications
We present Syntroids, a case study for the automatic synthesis of hardwa...
research
∙
04/15/2019
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
We report on the fifth reactive synthesis competition (SYNTCOMP 2018). W...
research
∙
07/24/2018
Bounded Synthesis of Reactive Programs
Most algorithms for the synthesis of reactive systems focus on the const...
research
∙
03/28/2018
Vehicle Platooning Simulations with Functional Reactive Programming
Functional languages have provided major benefits to the verification co...
research
∙
03/27/2018
Reactive Synthesis: Towards Output-Sensitive Algorithms
Reactive synthesis is a technology for the automatic construction of rea...
research
∙
12/01/2017
Synthesizing Functional Reactive Programs
We present the first method to synthesize functional reactive programs f...
research
∙
11/29/2017