TY  - RPRT
TI  - The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond
AU  - Swen Jacobs
AU  - Roderick Bloem
PY  - 2016
DO  - 10.4204/eptcs.229.11
UR  - https://arxiv.org/abs/1611.07626
ID  - 1611.07626
ER  -