@Inproceedings{EPTCS229.12,
  author    = {Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Khalimov, Ayrat and Klein, Felix and K\"onighofer, Robert and Kreber, Jens and Legg, Alexander and Narodytska, Nina and P\'erez, Guillermo A. and Raskin, Jean-Fran\c{c}ois and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam},
  year      = {2016},
  title     = {The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants \& Results},
  editor    = {Piskac, Ruzica and Dimitrova, Rayna},
  booktitle = {{\rm Proceedings Fifth Workshop on}
               Synthesis,
               {\rm Toronto, Canada, July 17-18, 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {229},
  publisher = {Open Publishing Association},
  pages     = {149-177},
  doi       = {10.4204/EPTCS.229.12},
}