Error Control for Probabilistic Model Checking Håkan L. S. Younes Carnegie Mellon University Error Control for Probabilistic Model Checing Contributions Framework for expressing…