Skip to main content.

This page’s menu:

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