The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

Jacobs, Swen and Basset, Nicolas and Bloem, Roderick and Brenguier, Romain and Colange, Maximilien and Faymonville, Peter and Finkbeiner, Bernd and Khalimov, Ayrat and Klein, Felix and Michaud, Thibaud and Perez, Guillermo A. and Raskin, Jean-Francois and Sankur, Ocan and Tentrup, Leander
(2017) The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
In: Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017..

[img]
Preview
 Text
1711.11439.pdf
Download (3MB) | Preview
Official URL: http://dx.doi.org/10.4204/EPTCS.260.10
Item Type: Conference or Workshop Item (A Paper) (Other)
Divisions: Swen Jacobs (SJ)
Depositing User: Swen Jacobs
Date Deposited: 14 Feb 2018 10:10
Last Modified: 04 Jun 2021 08:39
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/1407

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.