We robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of their model-checking problems.

翻译：我们对概率系统最重要的规约语言PCTL和PCTL*进行了鲁棒化处理，并证明鲁棒性不会增加其模型检测问题的计算复杂度。