Petr Osička

Mgr. Petr Osička, Ph.D.

Mgr. Petr Osička, Ph.D.

Publications

Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification

Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification

Jiří Balun, Petr Osička, Tomáš Masopust
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), 2023

All publications

Homepage
DBLP
  petr.osicka@upol.cz
  5.072
Discrete-Event Systems and Theoretical Computer Science Research Group