Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.

Jeremy Sproston

Browse the full FORTE paper archive.