TY  - RPRT
TI  - The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
AU  - Swen Jacobs
AU  - Nicolas Basset
AU  - Roderick Bloem
AU  - Romain Brenguier
AU  - Maximilien Colange
AU  - Peter Faymonville
AU  - Bernd Finkbeiner
AU  - Ayrat Khalimov
AU  - Felix Klein
AU  - Thibaud Michaud
AU  - Guillermo A. Pérez
AU  - Jean-François Raskin
AU  - Ocan Sankur
AU  - Leander Tentrup
PY  - 2017
DO  - 10.4204/eptcs.260.10
UR  - https://arxiv.org/abs/1711.11439
ID  - 1711.11439
ER  -