Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata - Kwiatkowska, M; Norman, G; Parker, D (KiMFest 2017, 2017)