Alexandre Duret-Lutz | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Bernd Finkbeiner
77 publications
Guillermo A. Perez
32 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
Philipp Schlehuber-Caissier
5 publications

research

∙ 06/20/2022

From Spot 2.0 to Spot 2.10: What's New?

Spot is a C ++ 17 library for LTL and ω-automata manipulation, with comm...

0 Alexandre Duret-Lutz, et al. ∙

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. ∙