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
∙
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
∙
08/28/2018
Reactive Synthesis: Branching Logics and Parameterized Systems
Reactive synthesis is an automatic way to translate a human intention ex...
research
∙
08/28/2018
Bounded Synthesis of Register Transducers
Reactive synthesis aims at automatic construction of systems from their ...
research
∙
12/12/2017
OpenSEA: Semi-Formal Methods for Soft Error Analysis
Alpha-particles and cosmic rays cause bit flips in chips. Protection cir...
research
∙
11/29/2017
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). ...
research
∙
11/29/2017