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…