International Conference on Software Engineering for Adaptive and Self-Managing Systems

• Robust Probabilistic Model Checking with Continuous Reward Domains