Marta Z. Kwiatkowska, Gethin J. Norman, David Parker. Stochastic Games for Verification of Probabilistic Timed Automata. In Joël Ouaknine, Frits W. Vaandrager, editors, Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Volume 5813 of Lecture Notes in Computer Science, pages 212-227, Springer, 2009. [doi]
Abstract is missing.