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

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eigen
@@ Property / describes a project that uses: Eigen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PARAM
@@ Property / describes a project that uses: PARAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PROPhESY
@@ Property / describes a project that uses: PROPhESY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Storm
@@ Property / describes a project that uses: Storm / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2995644129
@@ Property / OpenAlex ID: W2995644129 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02093
@@ Property / arXiv ID: 1709.02093 / rank @@
+Normal rank
@@ 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