TY  - RPRT
TI  - The First Reactive Synthesis Competition (SYNTCOMP 2014)
AU  - Swen Jacobs
AU  - Roderick Bloem
AU  - Romain Brenguier
AU  - Rüdiger Ehlers
AU  - Timotheus Hell
AU  - Robert Könighofer
AU  - Guillermo A. Pérez
AU  - Jean-François Raskin
AU  - Leonid Ryzhyk
AU  - Ocan Sankur
AU  - Martina Seidl
AU  - Leander Tentrup
AU  - Adam Walker
PY  - 2016
DO  - 10.1007/s10009-016-0416-3
UR  - https://arxiv.org/abs/1506.08726
ID  - 1506.08726
ER  -