The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
Swen JacobsRoderick BloemMaximilien ColangePeter FaymonvilleBernd FinkbeinerAyrat KhalimovFelix KleinMichael LuttenbergerPhilipp J. MeyerThibaud MichaudMouhammad SakrSalomon SickertLeander TentrupAdam WalkerPublished in: CoRR (2019)