1 paper
Junyao Hou, Siyuan Liu, Xiang Yin +1
In this paper, we consider the problem of verifying pre-opacity for discrete-time control systems. Pre-opacity is an important information-flow security property that secures the i…