Robust Probabilistic Temporal Logics
arXiv:2306.05806
Abstract
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.