5 citations · 9 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014★ 5 cited
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…
cs.LO2014
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…