94 citations · 117 across the 11 of their papers we have counts for
3 papers · 1 filter
Approximate probabilistic verification of hybrid systems
Benjamin M. Gyori, Bing Liu, Soumya Paul +2
Hybrid systems whose mode dynamics are governed by non-linear ordinary differential equations (ODEs) are often a natural model for biological processes. However such models are dif…
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…