ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Fedor Shmarov, Paolo Zuliani · EPiC series in computing · 2018
In this paper we present a summary of our work on probability reachability in stochastic hybrid systems (SHS). In particular, we give an overview of ProbReach, a tool for computing probabilistic reachability in SHS which we introduced in our HSCC 2015 paper. We also present and an overview of our recent theoretical extensions and modification of the tool.