Probabilistic verification and approximation (Q2478551): Difference between revisions

@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluating Complex MAC Protocols for Sensor Networks with APMC
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+An Optimal Algorithm for Monte Carlo Estimation
@@ Property / cites work: An Optimal Algorithm for Monte Carlo Estimation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518905
@@ Property / cites work: Q4518905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848422
@@ Property / cites work: Q2848422 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848656
@@ Property / cites work: Q2848656 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Probability Inequalities for Sums of Bounded Random Variables
+Normal rank
@@ Property / cites work @@
+Random generation of combinatorial structures from a uniform distribution
+Normal rank
@@ Property / cites work @@
+A Randomized Fully Polynomial Time Approximation Scheme for the All-Terminal Network Reliability Problem
+Normal rank
@@ Property / cites work @@
+Monte-Carlo algorithms for the planar multiterminal network reliability problem
+Normal rank
@@ Property / cites work @@
+Monte-Carlo approximation algorithms for enumeration problems
+Normal rank
@@ Property / cites work @@
+Q4813209
@@ Property / cites work: Q4813209 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Non-negative matrices and Markov chains.
@@ Property / cites work: Non-negative matrices and Markov chains. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135094
@@ Property / cites work: Q3135094 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q4806205
@@ Property / cites work: Q4806205 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank