Sciweavers

CONCUR
2009
Springer
14 years 5 months ago
Strict Divergence for Probabilistic Timed Automata
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...
Jeremy Sproston