Markov processes in Isabelle/HOL.

Johannes Hölzl

Published in: CPP (2017)

Keyphrases

markov processes
theorem prover
natural deduction
markov chain
markov process
inference rules
theorem proving
stochastic processes
non stationary
continuous time markov chains
first order logic
continuous time bayesian networks
random fields
stochastic process
markov model
markov random field
machine learning