Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Theoretical Computer Science, 2017)

(untitled) - Jovanović, A; Kwiatkowska, M