@misc{indiciaeef86e8663170,
  title = {The Second Reactive Synthesis Competition (SYNTCOMP 2015)},
  author = {Swen Jacobs and Roderick Bloem and Romain Brenguier 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.4204/eptcs.202.4},
  url = {https://arxiv.org/abs/1602.01171},
  note = {Source identifier: 1602.01171}
}