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

Jacobs, Swen; Basset, Nicolas; Bloem, Roderick; Brenguier, Romain; Colange, Maximilien; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix; Michaud, Thibaud; Pérez, Guillermo A.; Raskin, Jean-François; Sankur, Ocan; Tentrup, Leander

doi:10.4204/EPTCS.260.10

by Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup

Reference:

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results (Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup), In \rm Proceedings Sixth Workshop on Synthesis, \rm Heidelberg, Germany, 22nd July 2017 (Dana Fisman, Swen Jacobs, eds.), Open Publishing Association, volume 260, 2017.

Bibtex Entry:

@InProceedings{jacobs.17.synt,
  author    = {Jacobs, Swen and Basset, Nicolas and Bloem, Roderick and Brenguier, Romain and Colange, Maximilien and Faymonville, Peter and Finkbeiner, Bernd and Khalimov, Ayrat and Klein, Felix and Michaud, Thibaud and P\'erez, Guillermo A. and Raskin, Jean-Fran\c{c}ois and Sankur, Ocan and Tentrup, Leander},
  title     = {The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants \& Results},
  booktitle = {{\rm Proceedings Sixth Workshop on} Synthesis, {\rm Heidelberg, Germany, 22nd July 2017}},
  year      = {2017},
  editor    = {Fisman, Dana and Jacobs, Swen},
  volume    = {260},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  pages     = {116-143},
  publisher = {Open Publishing Association},
  doi       = {10.4204/EPTCS.260.10},
}