182
click to vote
CONCUR
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. In previous work, a probabilistic notion of time divergence for p...