Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability
Introduction to Algorithms