TY  - RPRT
TI  - The Second Reactive Synthesis Competition (SYNTCOMP 2015)
AU  - Swen Jacobs
AU  - Roderick Bloem
AU  - Romain Brenguier
AU  - Robert Könighofer
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.202.4
UR  - https://arxiv.org/abs/1602.01171
ID  - 1602.01171
ER  -