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

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