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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

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

Journal title: Electronic Proceedings in Theoretical Computer Science

Journal number: 260

Journal publisher: EPTCS

Published year: 2017

Published pages: 116-143

DOI identifier: 10.4204/EPTCS.260.10

ISSN: 2075-2180