4 citations · 5 across the 2 of their papers we have counts for
Showing cs.FLShow all
3 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.FL2019
On Opacity Verification for Discrete-Event Systems
Jiří Balun, Tomáš Masopust
Opacity is an information flow property characterizing whether a system reveals its secret to an intruder. Verification of opacity for discrete-event systems modeled by automata is…
cs.FL2019
On Verification of D-Detectability for Discrete Event Systems
Jiří Balun, Tomáš Masopust
Detectability has been introduced as a generalization of state-estimation properties of discrete event systems studied in the literature. It asks whether the current and subsequent…