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

• Explanation for Human-on-the-loop: a probabilistic model checking approach