|
[LCGS20]
Nianyu Li, Javier Cámara, David Garlan and Bradley Schmerl.
Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems.
In Proc. IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS'20).
2020.
[Reasons about self-adaptive systems with human involvement using probabilistic model checking and PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|