13 citations · 23 across the 6 of their papers we have counts for
Showing 2014Show all
3 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…
q-bio.QM2014★ 13 cited
Towards Personalized Prostate Cancer Therapy Using Delta-Reachability Analysis
Bing Liu, Soonho Kong, Sicun Gao +2
Recent clinical studies suggest that the efficacy of hormone therapy for prostate cancer depends on the characteristics of individual patients. In this paper, we develop a computat…
cs.LO2014★ 7 cited
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions
Bing Liu, Soonho Kong, Sicun Gao +2
A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (\eg, time series). In this paper we focus o…