Verification and control of turn-based probabilistic real-time games (The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, 2019)

(untitled) - Kwiatkowska, M; Norman, G; Parker, D