On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators | Publicación