Efficient Analysis of Probabilistic Programs with an Unbounded Counter (Q5501946): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1975636681
@@ Property / OpenAlex ID: W1975636681 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2529
@@ Property / arXiv ID: 1102.2529 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Numerical Analysis
@@ Property / cites work: On the Complexity of Numerical Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+One-Counter Stochastic Games
@@ Property / cites work: One-Counter Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Energy Parity Games
@@ Property / cites work: Energy Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Mean-payoff and Energy Games
@@ Property / cites work: Generalized Mean-payoff and Energy Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754086
@@ Property / cites work: Q2754086 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5553606
@@ Property / cites work: Q5553606 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262596
@@ Property / cites work: Q3262596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3549616
@@ Property / cites work: Q3549616 / rank @@
+Normal rank
@@ Property / cites work @@
+Rabinizer 2: Small Deterministic Automata for LTL ∖ GU
+Normal rank
@@ Property / cites work @@
+Q3923308
@@ Property / cites work: Q3923308 / rank @@
+Normal rank
@@ Property / cites work @@
+A First Look at Rigorous Probability Theory
@@ Property / cites work: A First Look at Rigorous Probability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Upper Bounds for Newton’s Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata
+Normal rank
@@ Property / cites work @@
+Probability with Martingales
@@ Property / cites work: Probability with Martingales / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5501946