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
∙
11/05/2021
Parameterized Repair of Concurrent Systems
We present an algorithm for the repair of parameterized systems. The rep...
research
∙
11/08/2019
Promptness and Bounded Fairness in Concurrent and Parameterized Systems
We investigate the satisfaction of specifications in Prompt Linear Tempo...
research
∙
04/15/2019