共 50 条
- [41] Formalization of Finite-State Discrete-Time Markov Chains in HOL AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 90 - 104
- [42] Hilbert evolution algebras and its connection with discrete-time Markov chains INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 2023, 54 (03): : 883 - 894
- [43] Hilbert evolution algebras and its connection with discrete-time Markov chains Indian Journal of Pure and Applied Mathematics, 2023, 54 : 883 - 894
- [44] Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 8837 : 364 - 379
- [46] Quasi-stationary Distributions for a Class of Discrete-time Markov Chains Methodology and Computing in Applied Probability, 2006, 8 : 449 - 465
- [50] CYCLE SYMMETRIES AND CIRCULATION FLUCTUATIONS FOR DISCRETE-TIME AND CONTINUOUS-TIME MARKOV CHAINS ANNALS OF APPLIED PROBABILITY, 2016, 26 (04): : 2454 - 2493