54 citations · 213 across the 36 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023★ 1 cited
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification
Jiří Balun, Tomáš Masopust, Petr Osička
Opacity is a property of privacy and security applications asking whether, given a system model, a passive intruder that makes online observations of system's behaviour can ascerta…
cs.FL2023
Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality
Jan Komenda, Tomáš Masopust
Complex systems are often composed of many small communicating components called modules. We investigate the synthesis of supervisory controllers for modular systems under partial…