Etienne Renault | DeepAI

DeepAI

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

Featured Co-authors

Philipp Schlehuber-Caissier
5 publications
Maximilien Colange
4 publications
Yann Thierry-Mieg
3 publications
Florian Renkin
2 publications
Alexandre Duret-Lutz
2 publications
Henrich Lauko
2 publications
Clément Gillard
1 publication
Alexandre Gbaguidi
1 publication
Thomas Medioni
1 publication
Jérôme Dubois
1 publication
Antoine Martin
1 publication

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

∙ 11/05/2021

LTL under reductions with weaker conditions than stutter-invariance

Verification of properties expressed as-regular languages such as LTL ca...

0 Emmanuel Paviot-Adet, et al. ∙