Jiří Balun | DeepAI

DeepAI

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

Featured Co-authors

Jörg Raisch
4 publications
Tomas Masopust
4 publications
Davide Zorzenon
3 publications

research

∙ 06/01/2022

Weak consistency of P-time event graphs

P-time event graphs (P-TEGs) are event graphs where the residence time o...

0 Davide Zorzenon, et al. ∙

research

∙ 09/05/2021

K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations

Opacity is a property expressing whether a system may reveal its secret ...

0 Jiří Balun, et al. ∙