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 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; et al. (Int. J. Softw. Tools Technol. Transf., 2017)