Lumpability for uncertain continuous-time Markov chains (Q832091): Difference between revisions

@@ Property / cites work @@
+Exact and ordinary lumpability in finite Markov chains
+Normal rank
@@ Property / cites work @@
+Optimal Continuous Time Markov Decisions
@@ Property / cites work: Optimal Continuous Time Markov Decisions / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Markov chains
@@ Property / cites work: Constraint Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic computation of differential equivalences
@@ Property / cites work: Symbolic computation of differential equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic Markovian Bisimulation for Chemical Reaction Networks
+Normal rank
@@ Property / cites work @@
+Precise parameter synthesis for stochastic biochemical systems
+Normal rank
@@ Property / cites work @@
+Discrete, Continuous, and Hybrid Petri Nets
@@ Property / cites work: Discrete, Continuous, and Hybrid Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+From generic partition refinement to weighted tree automata minimization
+Normal rank
@@ Property / cites work @@
+Optimal state-space lumping in Markov chains
@@ Property / cites work: Optimal state-space lumping in Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Coalgebraic Partition Refinement
@@ Property / cites work: Efficient Coalgebraic Partition Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q3525855
@@ Property / cites work: Q3525855 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous-time Markov decision processes. Theory and applications
+Normal rank
@@ Property / cites work @@
+Exploiting robust optimization for interval probabilistic bisimulation
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Three-Valued Abstraction for Continuous-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+Q4094202
@@ Property / cites work: Q4094202 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval-valued finite Markov chains
@@ Property / cites work: Interval-valued finite Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Exact epidemic models on graphs using graph-automorphism driven lumping
+Normal rank
@@ Property / cites work @@
+Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Q3617561
@@ Property / cites work: Q3617561 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple O(m logn) Time Markov Chain Lumping
@@ Property / cites work: Simple O(m logn) Time Markov Chain Lumping / rank @@
+Normal rank