# Interval-Bounded Reachability

With the interval-bounded reachability, you can calculate the probability to reach a set of goal states from a set of initial states within an interval [a,b]. It is possible to compute the maximum and minimum interval-bounded reachability probability.