The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond
Swen Jacobs, Roderick Bloem
We report on the design of the third reactive synthesis competition (SYNTCOMP 2016), including a major extension of the competition to specifications in full linear temporal logic. We give a brief overview of the synthesis problem as considered in SYNTCOMP, and present the rules of the competition as well as the current benchmark set. Furthermore, we give an outlook on further changes and extensions of the competition that are planned for the future.