Approximate probabilistic verification of hybrid systems | Publicación