Figure 1From: Improved statistical model checking methods for pathway analysisProbability of accepting H0: p ≥ θ + δ vs the actual probability of the formula holding (adapted from [13]).Back to article page