Sciweavers

CONCUR
2009
Springer

Strict Divergence for Probabilistic Timed Automata

14 years 6 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 probabilistic timed automata has been considered, which requires the divergence of time with probability
Jeremy Sproston
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CONCUR
Authors Jeremy Sproston
Comments (0)