共 50 条
- [2] Finite-State Markov Chains with Flexible Distributions Computational Economics, 2023, 61 : 611 - 644
- [6] Formalization of Finite-State Discrete-Time Markov Chains in HOL AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 90 - 104