www.prismmodelchecker.org
[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.]

Publications