The first reactive synthesis competition (SYNTCOMP 2014)

  • Swen Jacobs
  • Roderick Bloem
  • Romain Brenguier
  • Rüdiger Ehlers
  • Timotheus Hell
  • Robert Könighofer
  • Guillermo A. Pérez
  • Jean-François Raskin
  • Leonid Ryzhyk
  • Ocan Sankur
  • Martina Seidl
  • Leander Tentrup
  • Adam Walker
Regular Paper

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.

Keywords

Synthesis Reactive systems Competition Experimental evaluation Benchmarks Safety games 

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • Swen Jacobs
    • 1
    • 2
  • Roderick Bloem
    • 1
  • Romain Brenguier
    • 3
  • Rüdiger Ehlers
    • 4
    • 5
  • Timotheus Hell
    • 1
  • Robert Könighofer
    • 1
  • Guillermo A. Pérez
    • 3
  • Jean-François Raskin
    • 3
  • Leonid Ryzhyk
    • 6
    • 7
  • Ocan Sankur
    • 3
    • 8
  • Martina Seidl
    • 9
  • Leander Tentrup
    • 2
  • Adam Walker
    • 6
  1. 1.Graz University of TechnologyGrazAustria
  2. 2.Saarland UniversitySaarbrückenGermany
  3. 3.Université Libre de BruxellesBrusselsBelgium
  4. 4.University of BremenBremenGermany
  5. 5.DFKI GmbHBremenGermany
  6. 6.NICTASydneyAustralia
  7. 7.Carnegie Mellon UniversityPittsburghUSA
  8. 8.CNRS, IRISARennesFrance
  9. 9.Johannes-Kepler-University LinzLinzAustria

Personalised recommendations