research
∙
06/20/2022
From Spot 2.0 to Spot 2.10: What's New?
Spot is a C ++ 17 library for LTL and ω-automata manipulation, with comm...
share
research
∙
06/01/2022
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
We report on the last four editions of the reactive synthesis competitio...
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
∙
11/29/2017