A Formalisation of Gallagher's Ergodic Theorem.

Published in: ITP (2023)

Keyphrases

markov chain
stationary distribution
formal analysis
markov process
von neumann
information systems
evolutionary algorithm
special case
legal reasoning