Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations
<|reference_start|>Planning with Probabilistic Opacity and Transparency: A Computational Model of Opaque/Transparent Observations: 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. In this paper, we study how to synthesize a control policy that maximizes the probability of a secret being made opaque against an eavesdropping attacker/observer, while subject to other task performance constraints. In contrast to existing belief-based approach for opacity-enforcement, we develop an approach that uses the observation function, the secret, and the model of the dynamical systems to construct a so-called opaque-observations automaton which accepts the exact set of observations that enforce opacity. Leveraging this opaque-observations automaton, we can reduce the optimal planning in Markov decision processes(MDPs) for maximizing probabilistic opacity or its dual notion, transparency, subject to task constraints into a constrained planning problem over an augmented-state MDP. Finally, we illustrate the effectiveness of the developed methods in robot motion planning problems with opacity or transparency requirements.<|reference_end|>
@article{udupa2024planning,
    title={Planning with Probabilistic Opacity and Transparency: A Computational
  Model of Opaque/Transparent Observations},
    author={Sumukha Udupa and Jie Fu},
    journal={arXiv preprint arXiv:2405.05408},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.05408},
    primaryClass={cs.FL}
}