On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications

Bohan Cui, Ziyue Ma, Shaoyuan Li +1

In this paper, we investigate the property verification problem for partially-observed DES from a new perspective. Specifically, we consider the problem setting where the system is…