Publication
Title
The first reactive synthesis competition (SYNTCOMP 2014)
Author
Abstract
We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems. The first iteration of SYNTCOMP is based on the controller synthesis problem for finite-state systems and safety specifications. We provide an overview of this problem and existing approaches to solve it, and report on the design and results of the first SYNTCOMP. This includes the definition of the benchmark format, the collection of benchmarks, the rules of the competition, and the five synthesis tools that participated. We present and analyze the results of the competition and draw conclusions on the state of the art. Finally, we give an outlook on future directions of SYNTCOMP.
Language
English
Source (journal)
International journal on software tools for technology transfer. - Heidelberg, 1997, currens
Publication
Heidelberg : Springer , 2017
ISSN
1433-2779
DOI
10.1007/S10009-016-0416-3
Volume/pages
19 :3 (2017) , p. 367-390
ISI
000400981200006
Full text (Publisher's DOI)
Full text (open access)
Full text (publisher's version - intranet only)
UAntwerpen
Publication type
Subject
External links
Web of Science
Record
Identifier
Creation 16.11.2018
Last edited 28.08.2024
To cite this reference