Importance Sampling for Stochastic Timed Automata

This section includes extra material leading our SETTA'2016 publication [JLLMPS16].

Lemma on Integration of Polynomial and Exponential

The details can be found in the technical report: here or in VBN.

References

• [JLLMPS16] Cyrille Jegourel, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, and Sean Sedwards. Importance Sampling for Stochastic Timed Automata. Symposium on Dependable Software Engineering (SETTA), 2016. { bib }