TY  - RPRT
TI  - The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
AU  - Swen Jacobs
AU  - Roderick Bloem
AU  - Romain Brenguier
AU  - Ayrat Khalimov
AU  - Felix Klein
AU  - Robert Könighofer
AU  - Jens Kreber
AU  - Alexander Legg
AU  - Nina Narodytska
AU  - Guillermo A. Pérez
AU  - Jean-François Raskin
AU  - Leonid Ryzhyk
AU  - Ocan Sankur
AU  - Martina Seidl
AU  - Leander Tentrup
AU  - Adam Walker
PY  - 2016
DO  - 10.4204/eptcs.229.12
UR  - https://arxiv.org/abs/1609.00507
ID  - 1609.00507
ER  -