The First Reactive Synthesis Competition (SYNTCOMP 2014).
Swen JacobsRoderick BloemRomain BrenguierRüdiger EhlersTimotheus HellRobert KönighoferGuillermo A. PérezJean-François RaskinLeonid RyzhykOcan SankurMartina SeidlLeander TentrupAdam WalkerPublished in: CoRR (2015)