|
[LAKG20]
Nianyu Li, Sridhar Adepu, Eunsuk Kang and David Garlan.
Explanations for Human-on-the-loop: A Probabilistic Model Checking Approach.
In Proc. IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'20).
2020.
[Presents techniques for human-on-the-loop systems using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|