Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker. The first reactive synthesis competition (SYNTCOMP 2014). STTT, 19(3):367-390, 2017. [doi]
Abstract is missing.