175 citations · 192 across the 19 of their papers we have counts for
1 paper · 1 filter
Xiaoguang Han, Kuize Zhang, Zhiwu Li
In this paper, we revisit the verification of strong K-step opacity (K-SSO) for partially-observed discrete-event systems modeled as nondeterministic finite-state automata. As a st…