Clément Tamines
Clément Tamines
Home
Publications
Talks
Light
Dark
Automatic
zero-sum games
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018-2021). We briefly describe the evaluation scheme and the experimental setup of SYNTCOMP. Then, we introduce new benchmark classes that have been added to the …
Cite
×