scientific article; zbMATH DE number 7278085

DOI10.4230/LIPIcs.FSTTCS.2017.13zbMath1491.68106MaRDI QIDQ5136302

Béatrice Bérard, Engel Lefaucheux, Serge Haddad

Publication date: 25 November 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Markov chainMarkov decision processopacitypartially observed systems

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Computer security (68M25)

Related Items (2)

Accurate approximate diagnosis of (controllable) stochastic systems ⋮ Information control in networked discrete event systems and its application to battery management systems

Cites Work

• Probabilistic opacity for Markov decision processes
• Current-State Opacity Formulations in Probabilistic Finite Automata
• Randomness for Free
• Qualitative Analysis of Partially-Observable Markov Decision Processes
• Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
• The Complexity of Markov Decision Processes
• Random Measurable Selections
• Model-Checking ω-Regular Properties of Interval Markov Chains
• Quantifying opacity
• Tools and Algorithms for the Construction and Analysis of Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: