@article{JKNP17,
author={A. Jovanovic and M. Kwiatkowska and G. Norman and Q. Peyras},
title={Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata},
journal={Theoretical Computer Science},
publisher={Elsevier},
year={2017},
note={To appear.}
}