Robust Probabilistic Temporal Logics

06/09/2023

∙

by   Martin Zimmermann, et al.

∙

0

∙

share

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.