TY  - RPRT
TI  - Probabilistic Timed Automata with Clock-Dependent Probabilities
AU  - Jeremy Sproston
PY  - 2017
UR  - https://arxiv.org/abs/1707.04507
ID  - 1707.04507
ER  -