@misc{indiciae5bb8dd8b5bb6,
  title = {The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants \& Results},
  author = {Swen Jacobs and Roderick Bloem and Romain Brenguier and Ayrat Khalimov and Felix Klein and Robert Könighofer and Jens Kreber and Alexander Legg and Nina Narodytska 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.229.12},
  url = {https://arxiv.org/abs/1609.00507},
  note = {Source identifier: 1609.00507}
}