Příspěvky na konferencích (Conference papers)

  1. Balun, J., Masopust, T., On Verification of Strong Periodic D-Detectability for Discrete Event Systems, Proc. of Workshop on Discrete Event Systems (WODES), 263-268, 2020; Preprint: arXiv, pdf
  2. Balun, J., Masopust, T., On Opacity Verification for Discrete-Event Systems, Proc. of IFAC World Congress, 2105-2110, 2020; Preprint: arXiv, pdf

Preprinty (Preprints)

  1. Balun, J., Masopust, T., Comparing the Notions of Opacity for Discete-Event Systems, 2021, arXiv