Approximate Verification of the Symbolic Dynamics of Markov Chains
Keyword(s):
2020 ◽
Vol E103.A
(11)
◽
pp. 1252-1259