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
Item Type: Article
Divisions: Swen Jacobs (SJ)
Depositing User: Swen Jacobs
Date Deposited: 15 Feb 2018 07:55
Last Modified: 04 Jun 2021 08:39
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/1408

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.