Probabilistic Opacity for Markov Decision Processes

v1v2 (latest)

Probabilistic Opacity for Markov Decision Processes

16 July 2014

Nathalie Sznajder

ArXiv (abs)PDF HTML

Papers citing "Probabilistic Opacity for Markov Decision Processes"

6 / 6 papers shown

Title
Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems Sumukha Udupa Chongyang Shi Jie Fu 69 1 0 14 Feb 2025
Quantitative Verification of Opacity Properties in Security Systems C. Mu David Clark 26 0 0 28 Jun 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani 3DV 68 44 0 14 Feb 2022
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement Sahar Mohajerani Yiding Ji S. Lafortune 36 30 0 01 Oct 2019
Probabilistic Opacity in Refinement-Based Modeling B. Bérard O. Kouchnarenko J. Mullins Mathieu Sassolas 24 1 0 14 Oct 2015
The Complexity of Synchronous Notions of Information Flow Security F. Cassez R. V. D. Meyden Chenyi Zhang 27 3 0 04 Feb 2014