Login / Signup

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

Cyrille JégourelAxel LegaySean Sedwards
Published in: ISoLA (2) (2014)
Keyphrases