www.prismmodelchecker.org
[IIZ20] Azlan Ismail, Susanti Intu and Suzana Zambri. A GUI-driven prototype for synthesizing self-adaptation decision. Bulletin of Electrical Engineering and Informatics. 2020. [Proposes a decision-making approach for self-adapative systems implemented on top of PRISM-games.]
Links: [Google] [Google Scholar]

Publications