Command-based importance sampling for statistical model checking - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2016

Command-based importance sampling for statistical model checking

Fichier principal
Vignette du fichier
main.pdf (363.41 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01387299 , version 1 (25-10-2016)

Identifiers

Cite

Cyrille Jegourel, Axel Legay, Sean Sedwards. Command-based importance sampling for statistical model checking. Theoretical Computer Science, 2016, 649, pp.1 - 24. ⟨10.1016/j.tcs.2016.08.009⟩. ⟨hal-01387299⟩
170 View
168 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More