@misc{indiciaedccc58cfe204,
  title = {The First Reactive Synthesis Competition (SYNTCOMP 2014)},
  author = {Swen Jacobs and Roderick Bloem and Romain Brenguier and Rüdiger Ehlers and Timotheus Hell and Robert Könighofer and Guillermo A. Pérez and Jean-François Raskin and Leonid Ryzhyk and Ocan Sankur and Martina Seidl and Leander Tentrup and Adam Walker},
  year = {2016},
  doi = {10.1007/s10009-016-0416-3},
  url = {https://arxiv.org/abs/1506.08726},
  note = {Source identifier: 1506.08726}
}