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

@@ Property / DOI @@
-.1016/j.ic.2018.08.003
@@ Property / DOI: 10.1016/j.ic.2018.08.003 / rank @@
-Normal rank
@@ Property / author @@
-Li-jun Zhang
@@ Property / author: Li-jun Zhang / rank @@
-Normal rank
@@ Property / author @@
+Li-jun Zhang
@@ Property / author: Li-jun Zhang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2018.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2889143140
@@ Property / OpenAlex ID: W2889143140 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q129270202
@@ Property / Wikidata QID: Q129270202 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2018.08.003
@@ Property / DOI: 10.1016/J.IC.2018.08.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1784955