The following pages link to (Q5528211):
Displayed 50 items.
- Concurrent reachability games (Q2465027) (← links)
- Linear dependence of stationary distributions in ergodic Markov decision processes (Q2465951) (← links)
- Continuous-time QBD processes with continuous phase variable (Q2469897) (← links)
- Strong stability and perturbation bounds for discrete Markov chains (Q2479506) (← links)
- Quantitative analysis of probabilistic lossy channel systems (Q2495651) (← links)
- On bulk-service MAP/PH\(^{L,N}\)/1/N G-queues with repeated attempts (Q2507422) (← links)
- A bibliographical guide to the analysis of retrial queues through matrix analytic techniques (Q2507425) (← links)
- Stationary distributions in the atom-on-demand problem (Q2507704) (← links)
- On the linear model with two absorbing barriers (Q2527418) (← links)
- A matrix representation of a class of denumerable homogeneous Markov chains (Q2536438) (← links)
- Slowly spreading chains of the first kind (Q2550252) (← links)
- Representation theory for a class of denumerable Markov chains (Q2553209) (← links)
- Über eine Anwendung der Potentialtheorie transienter Markoff-Ketten (Q2561432) (← links)
- On probabilistic limit theorems for a class of positive matrices (Q2563344) (← links)
- Probabilistic temporal logics via the modal mu-calculus (Q2566296) (← links)
- Verification of probabilistic systems with faulty communication (Q2573634) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- The noisy voter-exclusion process (Q2575815) (← links)
- Monotone runs of uniformly distributed integer random variables: A probabilistic analysis (Q2581352) (← links)
- Reciprocal covariance solutions of some matrix differential equations (Q2640993) (← links)
- Quantitative Multi-objective Verification for Probabilistic Systems (Q3000641) (← links)
- A Progress Measure for Explicit-State Probabilistic Model-Checkers (Q3012927) (← links)
- Probabilistic Weighted Automata (Q3184677) (← links)
- Counterexamples in Probabilistic LTL Model Checking for Markov Chains (Q3184702) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
- Infinite dimensional entangled Markov chains (Q3440838) (← links)
- Pseudometrics for State Aggregation in Average Reward Markov Decision Processes (Q3520073) (← links)
- Stochastic and substochastic solutions for infinite-state Markov chains with applications to matrix-analytic methods (Q3603202) (← links)
- Potentials and the distributions of the last exit times of birth and death processes (Q3738352) (← links)
- R�currence positive des librairies mixtes (Q3908273) (← links)
- (Q3965361) (← links)
- (Q4043898) (← links)
- (Q4105059) (← links)
- Isotropic random walks in a tree (Q4136298) (← links)
- A splitting technique for Harris recurrent Markov chains (Q4139434) (← links)
- Marche al�atoire sur le groupe libre et fronti�re de Martin (Q4139440) (← links)
- A Characterization of the Invariant Measures for an Infinite Particle System with Interactions. II (Q4139441) (← links)
- Uniform rates of convergence for Markov chain transition probabilities (Q4150950) (← links)
- (Q4211698) (← links)
- A simple proof for the matrix‐geometric theorem (Q4299547) (← links)
- (Q4506267) (← links)
- A stable algorithm for stationary distribution calculation for a BMAP/SM/1 queueing system with Markovian arrival input of disasters (Q4819478) (← links)
- (Q5180656) (← links)
- Introduction to Random Walks on Noncommutative Spaces (Q5302300) (← links)
- Stochastic Games with Lossy Channels (Q5458349) (← links)
- On Decision Problems for Probabilistic Büchi Automata (Q5458366) (← links)
- Markov Chains with Hybrid Repeating Rows - Upper-Hessenberg, Quasi-Toeplitz Structure of the Block Transition Probability Matrix (Q5459920) (← links)
- Regular Boundary Points in Markov Chains (Q5553716) (← links)
- A Characterization of Normal Markov Chains (Q5556843) (← links)
- Representation Theory for Denumerable Markov Chains (Q5568435) (← links)