Články v časopisech (Journal papers)

  1. Balun, J., Masopust, T., On Verification of D-Detectability for Discrete Event Systems, Volume 133, November 2021, 109884. SharedIt link, pdf
  2. Balun, J., Masopust, T., Comparing the Notions of Opacity for Discrete-Event Systems, Accepted in JDEDS. SharedIt link. Preprint: arXiv

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., K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations, 2021, arXiv