Henrich Lauko | DeepAI

DeepAI

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

Featured Co-authors

Jiri Barnat
5 publications
Philipp Schlehuber-Caissier
5 publications
Maximilien Colange
4 publications
Petr Ročkai
3 publications
Etienne Renault
2 publications
Florian Renkin
2 publications
Alexandre Duret-Lutz
2 publications
Alexandre Gbaguidi
1 publication
Thomas Medioni
1 publication
Antoine Martin
1 publication
Jérôme Dubois
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

∙ 05/31/2018

Symbolic Computation via Program Transformation

Symbolic computation is an important approach in automated program analy...

0 Henrich Lauko, et al. ∙