Formal Reasoning about Classified Markov Chains in HOL
From MaRDI portal
Publication:5327351
DOI10.1007/978-3-642-39634-2_22zbMath1317.68218OpenAlexW2261464827MaRDI QIDQ5327351
Vincent Aravantinos, Osman Hasan, Sofiène Tahar, Liya Liu
Publication date: 7 August 2013
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39634-2_22
Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Software, source code, etc. for problems pertaining to probability theory (60-04)
Related Items
Uses Software