www.prismmodelchecker.org
[KCK+23] Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier and Sascha Wunderlich. Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. In Proc. European Workshop on Performance Engineering (EPEW'23). 2023. [Presents and evaluates a robust decision making method for adaptive systems based on probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications