TY  - RPRT
TI  - Computing Maximal Expected Termination Time of Probabilistic Timed Automata
AU  - Omar Al-Bataineh
AU  - Michael Fisher
AU  - David Rosenblum
PY  - 2018
UR  - https://arxiv.org/abs/1709.07171
ID  - 1709.07171
ER  -