Diego Latella, Michele Loreti, Mieke Massink. FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. In Joost-Pieter Katoen, Rom Langerak, Arend Rensink, editors, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Volume 10500 of Lecture Notes in Computer Science, pages 254-275, Springer, 2017. [doi]
Abstract is missing.