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

• Author of Robust Probabilistic Model Checking with Continuous Reward Domains within the Research Track-track