Příspěvky na konferencích

  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