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

• Type: Conference
• Year: 2009
• Where: CONCUR
• Authors: Jeremy Sproston
• Keywords: CONCUR 2009, Discrete Probability Distributions, Distributed And Parallel Computing, Probabilistic Notion, Probabilistic Timed Automata