Aleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras. Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Theoretical Computer Science, 669:1-21, 2017. [doi]
Abstract is missing.