The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): 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, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Journal title: Electronic Proceedings in Theoretical Computer Science

Journal number: 229

Journal publisher: EPTCS

Published year: 2016

Published pages: 149-177

DOI identifier: 10.4204/EPTCS.229.12

ISSN: 2075-2180