Probabilistic and Epistemic Model Checking for
Multi-Agent Systems