The quest for minimal quotients for probabilistic and Markov automata (Q1784955): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient CTMC Model Checking of Linear Real-Time Objectives
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q3792231
@@ Property / cites work: Q3792231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484499
@@ Property / cites work: Q4484499 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Semantics of Markov Automata
@@ Property / cites work: On the Semantics of Markov Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of Markov automata
@@ Property / cites work: On the semantics of Markov automata / rank @@
+Normal rank
@@ Property / cites work @@
+EQUIVALENCE OF LABELED MARKOV CHAINS
@@ Property / cites work: EQUIVALENCE OF LABELED MARKOV CHAINS / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Bisimilarities on Distributions
@@ Property / cites work: Deciding Bisimilarities on Distributions / rank @@
+Normal rank
@@ Property / cites work @@
+The Quest for Minimal Quotients for Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Concurrency and Composition in a Stochastic World
@@ Property / cites work: Concurrency and Composition in a Stochastic World / rank @@
+Normal rank
@@ Property / cites work @@
+Minimizing the number of transitions with respect to observation equivalence
+Normal rank
@@ Property / cites work @@
+Essential transitions to bisimulation equivalences
+Normal rank
@@ Property / cites work @@
+Exploring probabilistic bisimulations. I
@@ Property / cites work: Exploring probabilistic bisimulations. I / rank @@
+Normal rank
@@ Property / cites work @@
+Automated compositional Markov chain generation for a plain-old telephone system
+Normal rank
@@ Property / cites work @@
+Probabilistic Bisimulation: Naturally on Distributions
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Q3519383
@@ Property / cites work: Q3519383 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states
+Normal rank
@@ Property / cites work @@
+Probability and Nondeterminism in Operational Models of Concurrency
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial time decision algorithms for probabilistic automata
+Normal rank
@@ Property / cites work @@
+A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Probabilistic bisimulation for realistic schedulers
+Normal rank