共 50 条
[21]
On Evidential Markov Chains
[J].
FOUNDATIONS OF REASONING UNDER UNCERTAINTY,
2010, 249
:247-264
[28]
Markov Chains and Markov Decision Processes in Isabelle/HOL
[J].
Journal of Automated Reasoning,
2017, 59
:345-387