most citedDistributed Verification of Rare Properties using Importance Splitting Observers

9 citations · 10 across the 2 of their papers we have counts for

collaborators

2 papers

cs.LO2015★ 9 cited

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…

cs.FL2015★ 1 cited

*-Continuous Kleene -Algebras

Zoltán Ésik, Uli Fahrenberg, Axel Legay

We define and study basic properties of *-continuous Kleene -algebras that involve a *-continuous Kleene algebra with a *-continuous action on a semimodule and an infinite produ…