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
Book Title
SYNT 2015
Year
2015