@misc{indiciae03cce931bfa1,
  title = {The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants \& Results},
  author = {Swen Jacobs and Nicolas Basset and Roderick Bloem and Romain Brenguier and Maximilien Colange and Peter Faymonville and Bernd Finkbeiner and Ayrat Khalimov and Felix Klein and Thibaud Michaud and Guillermo A. Pérez and Jean-François Raskin and Ocan Sankur and Leander Tentrup},
  year = {2017},
  doi = {10.4204/eptcs.260.10},
  url = {https://arxiv.org/abs/1711.11439},
  note = {Source identifier: 1711.11439}
}