The 5th Reactive Synthesis Competition (SYNTCOMP 2018): 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, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker

Journal title: The 5th Reactive Synthesis Competition (SYNTCOMP 2018)

Journal number: Yearly report

Journal publisher: none

Published year: 2019