Antonio Filieri, Giordano Tamburrelli. Probabilistic Verification at Runtime for Self-Adaptive Systems. In Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, editors, Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Volume 7740 of Lecture Notes in Computer Science, pages 30-59, Springer, 2013. [doi]
Abstract is missing.