85 citations · 279 across the 25 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.CE2012★ 85 cited
Statistical Model Checking for Stochastic Hybrid Systems
Alexandre David, Dehui Du, Kim G. Larsen +4
This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how…
cs.PF2012★ 4 cited
Cross-entropy optimisation of importance sampling parameters for statistical model checking
Cyrille Jégourel, Axel Legay, Sean Sedwards
Statistical model checking avoids the exponential growth of states associated with probabilistic model checking by estimating properties from multiple executions of a system and by…