The first reactive synthesis competition (SYNTCOMP 2014)
Crossref DOI link: https://doi.org/10.1007/s10009-016-0416-3
Published Online: 2016-04-09
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Jacobs, Swen
Bloem, Roderick
Brenguier, Romain
Ehlers, Rüdiger
Hell, Timotheus
Könighofer, Robert
Pérez, Guillermo A.
Raskin, Jean-François
Ryzhyk, Leonid
Sankur, Ocan
Seidl, Martina
Tentrup, Leander
Walker, Adam
Text and Data Mining valid from 2016-04-09