Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations

Sumukha Udupa, Jie Fu

Qualitative opacity of a secret is a security property, which means that a system trajectory satisfying the secret is observation-equivalent to a trajectory violating the secret. I…