Approximate Probabilistic Verification of Hybrid Systems | Publicación