Parametric Linear Dynamic Logic

by Peter Faymonville, Martin Zimmermann
Published 2014-08-01

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

by 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
Published 2017-11-01