Robust Probabilistic Model Checking with Continuous Reward Domains

Open in new window