Sylvain Schmitz | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Nathanaël Fijalkow
23 publications
Petr Novotný
23 publications
Mickael Randour
17 publications
John Fearnley
16 publications
Nicolas Markey
12 publications
Ocan Sankur
11 publications
Jerome Leroux
10 publications
Benjamin Monmege
9 publications
Hugo Gimbert
9 publications
Nathalie Bertrand
9 publications
Mateusz Skomra
8 publications

research

∙ 05/17/2023

Games on Graphs

The objective of this collaborative textbook is to present the state of ...

0 Nathanaël Fijalkow, et al. ∙

research

∙ 03/20/2019

Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension

The reachability problem in vector addition systems is a central questio...

0 Jerome Leroux, et al. ∙

research

∙ 01/22/2019

Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete

Checking whether two pushdown automata with restricted silent actions ar...

0 Petr Jancar, et al. ∙