1 citations · 1 across the 3 of their papers we have counts for
3 papers
Statistical Model Checking based Analysis of Biological Networks
Bing Liu, Benjamin M. Gyori, P. S. Thiagarajan
We introduce a framework for analyzing ordinary differential equation (ODE) models of biological networks using statistical model checking (SMC). A key aspect of our work is the mo…
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…
Distributed Markov Chains
Sumit Kumar Jha, Madhavan Mukund, Ratul Saha +1
The formal verification of large probabilistic models is important and challenging. Exploiting the concurrency that is often present is one way to address this problem. Here we stu…