Robust Probabilistic Model Checking with Continuous Reward Domains

Xiaotong Ji, Hanchun Wang, Antonio Filieri +1

Probabilistic model checking traditionally verifies properties on the expected value of a measure of interest. This restriction may fail to capture the quality of service of a sign…