Probabilistic opacity for Markov decision processes (Q458386): Difference between revisions

@@ Property / cites work @@
+Probabilistic ω-automata
@@ Property / cites work: Probabilistic ω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifying opacity
@@ Property / cites work: Quantifying opacity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotic Information Leakage under One-Try Attacks
+Normal rank
@@ Property / cites work @@
+Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points
+Normal rank
@@ Property / cites work @@
+Synthesis of opaque systems with static and dynamic masks
+Normal rank
@@ Property / cites work @@
+What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives.
+Normal rank
@@ Property / cites work @@
+Randomness for Free
@@ Property / cites work: Randomness for Free / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative Analysis of Partially-Observable Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+Q5365120
@@ Property / cites work: Q5365120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control for Opacity
@@ Property / cites work: Supervisory Control for Opacity / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
+Normal rank
@@ Property / cites work @@
+Q4964721
@@ Property / cites work: Q4964721 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating finite automata on \(\omega\)-words
@@ Property / cites work: Alternating finite automata on \(\omega\)-words / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Infinite-Step Opacity and Complexity Considerations
+Normal rank
@@ Property / cites work @@
+Current-State Opacity Formulations in Probabilistic Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank