Approximate Verification of the Symbolic Dynamics of Markov Chains (Q5501948): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2021112905
@@ Property / OpenAlex ID: W2021112905 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate Verification of the Symbolic Dynamics of Markov Chains
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic processes
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411831
@@ Property / cites work: Q4411831 / rank @@
+Normal rank
@@ Property / cites work @@
+LTL Model Checking of Interval Markov Chains
@@ Property / cites work: LTL Model Checking of Interval Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Markov chains
@@ Property / cites work: Constraint Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297397
@@ Property / cites work: Q4297397 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking ω-Regular Properties of Interval Markov Chains
+Normal rank
@@ Property / cites work @@
+Q5691142
@@ Property / cites work: Q5691142 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems for Interval Markov Chains
@@ Property / cites work: Decision Problems for Interval Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3259107
@@ Property / cites work: Q3259107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262596
@@ Property / cites work: Q3262596 / 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 @@
+An Introduction to Symbolic Dynamics and Coding
@@ Property / cites work: An Introduction to Symbolic Dynamics and Coding / rank @@
+Normal rank
@@ Property / cites work @@
+Markov chains and stochastic stability
@@ Property / cites work: Markov chains and stochastic stability / rank @@
+Normal rank
@@ Property / cites work @@
+Performance Analysis of Communications Networks and Systems
+Normal rank
@@ Property / cites work @@
+Symbolic Dynamics
@@ Property / cites work: Symbolic Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems for Linear Recurrence Sequences
@@ Property / cites work: Decision Problems for Linear Recurrence Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Wielandt's proof of the exponent inequality for primitive nonnegative matrices
+Normal rank
@@ Property / cites work @@
+Non-negative matrices and Markov chains.
@@ Property / cites work: Non-negative matrices and Markov chains. / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete time Markov chains with interval probabilities
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+On stochastic languages
@@ Property / cites work: On stochastic languages / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of interval-probability as a unifying concept for uncertainty
+Normal rank
@@ Property / cites work @@
+Unzerlegbare, nicht negative Matrizen
@@ Property / cites work: Unzerlegbare, nicht negative Matrizen / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5501948