Nearly Optimal Verifiable Data Streaming (Q2798786): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-49384-7_16
+Normal rank
@@ Property / OpenAlex ID @@
+W2293985183
@@ Property / OpenAlex ID: W2293985183 / rank @@
+Normal rank
@@ Property / cites work @@
+Decisive Markov Chains
@@ Property / cites work: Decisive Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Information hiding in probabilistic concurrent systems
+Normal rank
@@ Property / cites work @@
+Conditional Probabilities over Probabilistic and Nondeterministic Systems
+Normal rank
@@ Property / cites work @@
+Probabilistic Model Checking for Energy-Utility Analysis
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Weight monitoring with linear temporal logic
@@ Property / cites work: Weight monitoring with linear temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Maximizing the Conditional Expected Reward for Reaching the Goal
+Normal rank
@@ Property / cites work @@
+Synthesizing Probabilistic Invariants via Doob’s Decomposition
+Normal rank
@@ Property / cites work @@
+An Analysis of Stochastic Shortest Path Problems
@@ Property / cites work: An Analysis of Stochastic Shortest Path Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Specifications with Accumulative Values
@@ Property / cites work: Temporal Specifications with Accumulative Values / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Decision Processes with Multiple Long-run Average Objectives
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Termination Analysis of Probabilistic Programs Through Positivstellensatz’s
+Normal rank
@@ Property / cites work @@
+Compositional Methods for Information-Hiding
@@ Property / cites work: Compositional Methods for Information-Hiding / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270052
@@ Property / cites work: Q4270052 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditioning in probabilistic programming
@@ Property / cites work: Conditioning in probabilistic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding Probabilistic Programs
@@ Property / cites work: Understanding Probabilistic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Stochastic Shortest Path Problem
+Normal rank
@@ Property / cites work @@
+Q4408719
@@ Property / cites work: Q4408719 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid Algorithm for LTL Games
@@ Property / cites work: A Hybrid Algorithm for LTL Games / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2798786