The Second Reactive Synthesis Competition (SYNTCOMP 2015)

Swen Jacobs‚ Roderick Bloem‚ Romain Brenguier‚ Robert Könighofer‚ Guillermo A. Pérez‚ Jean−François Raskin‚ Leonid Ryzhyk‚ Ocan Sankur‚ Martina Seidl‚ Leander Tentrup and Adam Walker