The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

06/01/2022
by   Swen Jacobs, et al.
0

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 SYNTCOMP library and give an overview of the participants of SYNTCOMP. Finally, we present and analyze the results of our experimental evaluations, including a ranking of tools with respect to quantity and quality of solutions.

READ FULL TEXT

page 1

page 2

page 3

page 4

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

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

We report on the fourth reactive synthesis competition (SYNTCOMP 2017). ...
research
12/29/2020

Explainable Reactive Synthesis

Reactive synthesis transforms a specification of a reactive system, give...
research
11/28/2017

Proceedings Sixth Workshop on Synthesis

The SYNT workshop aims to bring together researchers interested in the b...
research
12/01/2014

A CSP implementation of the bigraph embedding problem

A crucial problem for many results and tools about bigraphs and bigraphi...
research
04/14/2019

Spectra: A Specification Language for Reactive Systems

Spectra is a new specification language for reactive systems, specifical...
research
03/06/2023

Robust Immersive Telepresence and Mobile Telemanipulation: NimbRo wins ANA Avatar XPRIZE Finals

Robotic avatar systems promise to bridge distances and reduce the need f...

Please sign up or login with your details

Forgot password? Click here to reset