Pages that link to "Item:Q5501948"
From MaRDI portal
The following pages link to Approximate Verification of the Symbolic Dynamics of Markov Chains (Q5501948):
Displaying 16 items.
- Reachability problems for Markov chains (Q477610) (← links)
- Additive \(N\)-step Markov chains as prototype model of symbolic stochastic dynamical systems with long-range correlations (Q944823) (← links)
- A note on the attractor-property of infinite-state Markov chains (Q1045897) (← links)
- Algebraic model checking for discrete linear dynamical systems (Q2112097) (← links)
- Constrained Markov order surrogates (Q2115528) (← links)
- Approximate Verification of the Symbolic Dynamics of Markov Chains (Q2986781) (← links)
- (Q5089224) (← links)
- Complexity of Restricted Variants of Skolem and Related Problems (Q5111295) (← links)
- Correct Hardware Design and Verification Methods (Q5897081) (← links)
- Incremental Verification of Parametric and Reconfigurable Markov Chains (Q6104805) (← links)
- A probabilistic logic for verifying continuous-time Markov chains (Q6535602) (← links)
- MDPs as distribution transformers: affine invariant synthesis for safety objectives (Q6535681) (← links)
- Skolem and positivity completeness of ergodic Markov chains (Q6551702) (← links)
- On robustness for the Skolem, positivity and ultimate positivity problems (Q6563058) (← links)
- Positivity-hardness results on Markov decision processes (Q6566469) (← links)
- On the Skolem problem and the Skolem conjecture (Q6649433) (← links)