94 citations · 117 across the 11 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2014
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…
eess.SY2014★ 2 cited
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…