Juraj Síč | DeepAI

DeepAI

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

Featured Co-authors

Tomas Vojnar
18 publications
Ondrej Lengal
16 publications
Vojtech Havlena
11 publications
Lukas Holik
9 publications
Yu-Fang Chen
6 publications
František Blahoudek
4 publications
Margus Veanes
3 publications
David Chocholatý
1 publication

research

∙ 12/05/2022

Word Equations in Synergy with Regular Constraints (Technical Report)

When eating spaghetti, one should have the sauce and noodles mixed inste...

0 František Blahoudek, et al. ∙

research

∙ 07/23/2018

Simulation Algorithms for Symbolic Automata (Technical Report)

We investigate means of efficient computation of the simulation relation...

0 Lukas Holik, et al. ∙