Petr Osicka | DeepAI

DeepAI

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

Featured Co-authors

Petr Jancar
7 publications
Zdenek Sawa
2 publications

research

∙ 08/26/2020

Countdown games, and simulation on (succinct) one-counter nets

We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (L...

0 Petr Jancar, et al. ∙

research

∙ 01/03/2018

EXPSPACE-hardness of behavioural equivalences of succinct one-counter nets

We note that the remarkable EXPSPACE-hardness result in [Göller, Haase, ...

0 Petr Jancar, et al. ∙