The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results

Abstract

Authors

Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup

Where

Proceedings sixth workshop on synthesis

Place

Heidelberg, Germany

Paper

jacobs.17.synt.pdf

Date

2017-07-01