“…Consequently, the probability estimate of F 1 is Pr[F 1 ] = q, which can be estimated via CMC, since F 1 is by design not rare, and the number of samples, n, is small. Moreover, we can calculate the rare-event probability as in (45), which for the first domain reduces to q Pr[F |F 1 ]. Therefore, Pr[F |F 1 ] uses a Markov-chain MC method (line 7), e.g., a modified MH or Gibbs sampling [98], [99].…”