Equivalence of probabilistic \(\mu\)-calculus and p-automata (Q2399249): Difference between revisions

@@ 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.1007/978-3-319-60134-2_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2617530626
@@ Property / OpenAlex ID: W2617530626 / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+The mu-calculus and Model Checking
@@ Property / cites work: The mu-calculus and Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic temporal logics via the modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+On the equivalence of game and denotational semantics for the probabilistic mu-calculus
+Normal rank
@@ Property / cites work @@
+Probabilistic modal {\mu}-calculus with independent product
+Normal rank
@@ Property / cites work @@
+Fixed point characterization of infinite behavior of finite-state systems
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank