The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

Jacobs, Swen; Perez, Guillermo; Abraham; Bruyere, Veronique; Cadilhac, Michael; Colange, Maximilien; Delfosse, Charly; Tom, van Dijk; Duret-Lutz, Alexandre; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix; Luttenberger, Michael; Meyer, Klara; Michaud, Thibaud; Pommellet, Adrien; Renkin, Florian; Schlehuber-Caissier, Philipp; Sakr, Mouhammad; Sickert, Salomon; Staquet, Gaetan; Tamines, Clement; Tentrup, Leander; Walker, Adam

No full text

Expert report (Reports)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

Jacobs, Swen; Perez, Guillermo; Abraham et al.

2022

Permalink
https://hdl.handle.net/10993/52893

Files (0)Send to Details Statistics Bibliography Similar publications

Files

Full Text

No document available.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Abstract :

[en] 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.

Disciplines :

Computer science

Author, co-author :

Jacobs, Swen

Perez, Guillermo

Abraham

Bruyere, Veronique

Cadilhac, Michael

Colange, Maximilien

Delfosse, Charly

Tom, van Dijk

Duret-Lutz, Alexandre

Faymonville, Peter

More authors (15 more)

Language :

English

Title :

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

Publication date :

01 June 2022

Available on ORBilu :

since 28 November 2022

Statistics

Number of views

32 (0 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics