Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan. Explanations for human-on-the-loop: a probabilistic model checking approach. In Shinichi Honiden, Elisabetta Di Nitto, Radu Calinescu, editors, SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020. pages 181-187, ACM, 2020. [doi]
Abstract is missing.