Login / Signup

Formalization of Finite-State Discrete-Time Markov Chains in HOL.

Liya LiuOsman HasanSofiène Tahar
Published in: ATVA (2011)
Keyphrases