共 50 条
- [37] Formalization of Finite-State Discrete-Time Markov Chains in HOL AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 90 - 104
- [38] Discrete-Time Markov Chains in Reliability Analysis-Case Study INTERNATIONAL JOINT CONFERENCE CISIS'12 - ICEUTE'12 - SOCO'12 SPECIAL SESSIONS, 2013, 189 : 421 - 427
- [39] Hilbert evolution algebras and its connection with discrete-time Markov chains INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 2023, 54 (03): : 883 - 894
- [40] New exactly solvable examples for controlled discrete-time Markov chains Cybernetics (English Translation of Kibernetika), 1992, 27 (03):