|
[CMG15]
Javier Cámara, Gabriel A. Moreno and David Garlan.
Reasoning about Human Participation in Self-Adaptive Systems.
In Proc. 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'15).
2015.
[Proposes a formal framework for reasoning about human involvement in self-adaptive systems, using PRISM-games as an underlying model checker.]
|
|
Links:
[Google]
[Google Scholar]
|