@misc{indiciae41ca70bc1885,
  title = {The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants \& Results},
  author = {Swen Jacobs and Roderick Bloem and Maximilien Colange and Peter Faymonville and Bernd Finkbeiner and Ayrat Khalimov and Felix Klein and Michael Luttenberger and Philipp J. Meyer and Thibaud Michaud and Mouhammad Sakr and Salomon Sickert and Leander Tentrup and Adam Walker},
  year = {2019},
  url = {https://arxiv.org/abs/1904.07736},
  note = {Source identifier: 1904.07736}
}