Stochastic games for verification of probabilistic timed automata (2009)

by M Kwiatkowska, G Norman, D Parker
Venue:Proc. 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS’09), volume 5813 of LNCS