Two-layer symbolic representation for stochastic models with phase-type distributed events (Q2792888): Difference between revisions

@@ Property / cites work @@
+Aggregation of stochastic automata networks with replicas
+Normal rank
@@ Property / cites work @@
+A benchmark for ph estimation algorithms: results for acyclic-ph
+Normal rank
@@ Property / cites work @@
+Workload-Based Software Rejuvenation in Cloud Systems
+Normal rank
@@ Property / cites work @@
+Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
+Normal rank
@@ Property / cites work @@
+A decomposition approach for stochastic reward net models
+Normal rank
@@ Property / cites work @@
+A Symbolic Algorithm for Optimal Markov Chain Lumping
+Normal rank
@@ Property / cites work @@
+Generating BDDs for symbolic model checking in CCS
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+A Fully Symbolic Bisimulation Algorithm
@@ Property / cites work: A Fully Symbolic Bisimulation Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923308
@@ Property / cites work: Q3923308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank