no code implementations • 31 Jan 2021 • John O'Leary, Guanyang Wang
Couplings play a central role in the analysis of Markov chain convergence and in the construction of novel Markov chain Monte Carlo estimators, diagnostics, and variance reduction techniques.
Statistics Theory Probability Computation Statistics Theory 60J22, 65C05, 62D05
1 code implementation • 15 Jan 2020 • Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening, John O'Leary
Abstract models of system-level behaviour have applications in design exploration, analysis, testing and verification.
Formal Languages and Automata Theory Software Engineering
4 code implementations • 11 Aug 2017 • Pierre E. Jacob, John O'Leary, Yves F. Atchadé
Markov chain Monte Carlo (MCMC) methods provide consistent approximations of integrals as the number of iterations goes to infinity.
Methodology Computation