Probabilistic Timed Automata with Clock-Dependent Probabilities

Jeremy Sproston

Probabilistic timed automata are classical timed automata extended with discrete probability distributions over edges. We introduce clock-dependent probabilistic timed automata, a…