Michael Luttenberger | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Bernd Finkbeiner
77 publications
Guillermo A. Perez
32 publications
Roderick Bloem
27 publications
Leander Tentrup
15 publications
Swen Jacobs
14 publications
Véronique Bruyère
13 publications
Tom van Dijk
10 publications
Felix Klein
9 publications
Salomon Sickert
8 publications
Peter Faymonville
7 publications
Ayrat Khalimov
7 publications

research

∙ 06/01/2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

We report on the last four editions of the reactive synthesis competitio...

0 Swen Jacobs, et al. ∙

research

∙ 04/15/2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

We report on the fifth reactive synthesis competition (SYNTCOMP 2018). W...

0 Swen Jacobs, et al. ∙

research

∙ 03/29/2019

Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games

The synthesis - the automatic construction - of reactive systems from li...

0 Michael Luttenberger, et al. ∙