Solving QBF by Abstraction

by Jesko Hecking-Harbusch, Leander Tentrup
Published 2018-09-01

Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time

by Leander Tentrup, Alexander Weinert, Martin Zimmermann
Published 2016-09-01

Distributed PROMPT-LTL Synthesis

by Swen Jacobs, Leander Tentrup, Martin Zimmermann
Published 2016-09-01

The Second Reactive Synthesis Competition (SYNTCOMP 2015)

by Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
Published 2016-02-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

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results

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