130 citations · 267 across the 16 of their papers we have counts for
6 papers · 1 filter
ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems
Fedor Shmarov, Paolo Zuliani
We present ProbReach, a tool for verifying probabilistic reachability for stochastic hybrid systems, i.e., computing the probability that the system reaches an unsafe region of the…
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…
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…
Statistical Model Checking for Biological Applications
Paolo Zuliani
In this paper we survey recent work on the use of statistical model checking techniques for biological applications. We begin with an overview of the basic modelling techniques for…
Probabilistic bounded reachability for hybrid systems with continuous nondeterministic and probabilistic parameters
Fedor Shmarov, Paolo Zuliani
We develop an algorithm for computing bounded reachability probability for hybrid systems, i.e., the probability that the system reaches an unsafe region within a finite number of…
SReach: A Bounded Model Checker for Stochastic Hybrid Systems
Qinsi Wang, Paolo Zuliani, Soonho Kong +2
In this paper we describe a new tool, SReach, which solves probabilistic bounded reachability problems for two classes of stochastic hybrid systems. The first one is (nonlinear) hy…