Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability
Global optimization using interval analysis: The one-dimensional case