Verification and Control of Turn-Based Probabilistic Real-Time Games

Marta Kwiatkowska, Gethin Norman, David Parker

Quantitative verification techniques have been developed for the formal analysis of a variety of probabilistic models, such as Markov chains, Markov decision process and their vari…