18 citations · 77 across the 20 of their papers we have counts for
4 papers · 1 filter
Probabilistic verification of partially observable dynamical systems
Benjamin M. Gyori, Daniel Paulin, Sucheendra K. Palaniappan
The construction and formal verification of dynamical models is important in engineering, biology and other disciplines. We focus on non-linear models containing a set of parameter…
Hypothesis testing for Markov chain Monte Carlo
Benjamin M. Gyori, Daniel Paulin
Testing between hypotheses, when independent sampling is possible, is a well developed subject. In this paper, we propose hypothesis tests that are applicable when the samples are…
Efron-Stein Inequalities for Random Matrices
Daniel Paulin, Lester Mackey, Joel A. Tropp
This paper establishes new concentration inequalities for random matrices constructed from independent random variables. These results are analogous with the generalized Efron-Stei…
Mixing and Concentration by Ricci Curvature
Daniel Paulin
We generalise the coarse Ricci curvature method of Ollivier by considering the coarse Ricci curvature of multiple steps in the Markov chain. This implies new spectral bounds and co…