Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. - Max Korn; Philipp Chrszon; Sascha Klüppelholz; Christel Baier; Sascha Wunderlich (EPEW, 2022)

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. - Max Korn; Julián Méndez 001; Sascha Klüppelholz; Ricardo Langner; Christel Baier; Raimund Dachselt (SEFM, 2023)

Interactive Visualization Meets Probabilistic Model Checking Artifact. - Max Korn; Julián Méndez 001; Sascha Klüppelholz; Ricardo Langner; Christel Baier; Raimund Dachselt (Zenodo, 2023)

Interactive Visualization Meets Probabilistic Model Checking Artifact. - Max Korn; Julián Méndez 001; Sascha Klüppelholz; Ricardo Langner; Christel Baier; Raimund Dachselt (Zenodo, 2023)