Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination (Q2182734): Difference between revisions

@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric probabilistic transition systems for system design and analysis
+Normal rank
@@ Property / cites work @@
+Computational Solutions of Matrix Problems Over an Integral Domain
+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 @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Model-Checking ω-Regular Properties of Interval Markov Chains
+Normal rank
@@ Property / cites work @@
+Q3384160
@@ Property / cites work: Q3384160 / rank @@
+Normal rank
@@ Property / cites work @@
+The Exact Solution of Systems of Linear Equations with Polynomial Coefficients
+Normal rank
@@ Property / cites work @@
+Solving systems of linear equations over polynomials
+Normal rank
@@ Property / cites work @@
+An algorithm for solving parametric linear systems
+Normal rank
@@ Property / cites work @@
+LTL Model Checking of Interval Markov Chains
@@ Property / cites work: LTL Model Checking of Interval Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in augmented interval Markov chains
@@ Property / cites work: Reachability in augmented interval Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter synthesis for Markov models: faster than ever
+Normal rank
@@ Property / cites work @@
+Sequential Convex Programming for the Efficient Verification of Parametric MDPs
+Normal rank
@@ Property / cites work @@
+Q4864760
@@ Property / cites work: Q4864760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic self-stabilization
@@ Property / cites work: Probabilistic self-stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic verification of Herman's self-stabilisation algorithm
+Normal rank
@@ Property / cites work @@
+The complexity of elementary algebra and geometry
@@ Property / cites work: The complexity of elementary algebra and geometry / rank @@
+Normal rank