|
[CPGS18]
Javier Cámara, Wenxin Peng, David Garlan and Bradley Schmerl.
Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation.
Science of Computer Programming, 167, pages 51-69, Elsevier.
2018.
[Proposes a formal analysis technique for self-adaptive decision making under sensor uncertainty, building on the PRISM-games framework.]
|
|
Links:
[Google]
[Google Scholar]
|