The first reactive synthesis competition (SYNTCOMP 2014)

Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Ehlers, Rüdiger and Hell, Timotheus and Könighofer, Robert and Perez, Guillermo A. and Raskin, Jean-Francois and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam
(2017) The first reactive synthesis competition (SYNTCOMP 2014).
STTT, 19 (3). pp. 367-390.

[img]
Preview
Text
main.pdf

Download (1MB) | Preview
Official URL: https://doi.org/10.1007/s10009-016-0416-3

Actions

Actions (login required)

View Item View Item