Bruno Guillon | DeepAI

DeepAI

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

Featured Co-authors

Mikołaj Bojańczyk
11 publications
Olivier Carton
7 publications
Fabian Reiter
5 publications
Laure Daviaud
5 publications
Vincent Penelle
2 publications
A. V. Sreejith
2 publications

research

∙ 07/23/2018

Undecidability of MSO+"ultimately periodic"

We prove that MSO on ω-words becomes undecidable if allowing to quantify...

0 Mikołaj Bojańczyk, et al. ∙

research

∙ 04/10/2018

Counter Machines and Distributed Automata: A Story about Exchanging Space and Time

We prove the equivalence of two classes of counter machines and one clas...

0 Olivier Carton, et al. ∙