130 citations · 267 across the 16 of their papers we have counts for
4 papers · 2 filters
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…
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…