An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking.

Cyrille Jgourel, Axel Legay, Sean Sedwards

Browse the full ISoLA paper archive.