Importance sampling for probabilistic timed automata

Author(s): Pasveer, Marco (2013)

Abstract:

Document(s):