The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
Swen JacobsNicolas BassetRoderick BloemRomain BrenguierMaximilien ColangePeter FaymonvilleBernd FinkbeinerAyrat KhalimovFelix KleinThibaud MichaudGuillermo A. PérezJean-François RaskinOcan SankurLeander TentrupPublished in: SYNT@CAV (2017)