Petr Osicka | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙