Marta Kwiatkowska, Gethin Norman, David Parker 0001. Verification and Control of Turn-Based Probabilistic Real-Time Games. In Mário S. Alvim, Kostas Chatzikokolakis 0001, Carlos Olarte, Frank Valencia, editors, 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. Volume 11760 of Lecture Notes in Computer Science, pages 379-396, Springer, 2019. [doi]
Abstract is missing.