[CRJB14] Radu Calinescu, Yasmin Rafiq, Kenneth Johnson and Mehmet Emin Bakir . Adaptive Model Learning for Continual Verification of Non-Functional Properties. In Proc. 5th ACM/SPEC international conference on Performance engineering (ICPE'14), pages 87-98, ACM. 2014. [Proposes adaptive model learning techniques for continuous probabilistic verification, including PRISM as a backend solver.]
Links: [Google] [Google Scholar]