Distributed Verification of Rare Properties using Importance Splitting Observers

Cyrille Jegourel, Axel Legay, Sean Sedwards +1

Rare properties remain a challenge for statistical model checking (SMC) due to the quadratic scaling of variance with rarity. We address this with a variance reduction framework ba…