| The quantitative verification benchmark set A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters International Conference on Tools and Algorithms for the Construction and …, 2019 | 124 | 2019 |
| The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report) EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 70 | 2019 |
| On correctness, precision, and performance in quantitative verification: QComp 2020 competition report CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ... International symposium on leveraging applications of formal methods, 216-241, 2020 | 65 | 2020 |
| Deep statistical model checking TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz International Conference on Formal Techniques for Distributed Objects …, 2020 | 59 | 2020 |
| Towards dynamic dependable systems through evidence-based continuous certification R Faqeh, C Fetzer, H Hermanns, J Hoffmann, M Klauck, MA Köhl, ... International Symposium on Leveraging Applications of Formal Methods, 416-439, 2020 | 28 | 2020 |
| Noticeable or distractive? A design space for gaze-contingent user interface notifications M Klauck, Y Sugano, A Bulling Proceedings of the 2017 CHI conference extended abstracts on human factors …, 2017 | 24 | 2017 |
| TraceVis: towards visualization for deep statistical model checking TP Gros, D Groß, S Gumhold, J Hoffmann, M Klauck, M Steinmetz International Symposium on Leveraging Applications of Formal Methods, 27-46, 2020 | 21 | 2020 |
| Bridging the gap between probabilistic model checking and probabilistic planning: Survey, compilations, and empirical comparison M Klauck, M Steinmetz, J Hoffmann, H Hermanns Journal of Artificial Intelligence Research 68, 247-310, 2020 | 21 | 2020 |
| Lab conditions for research on explainable automated decisions C Baier, M Christakis, TP Gros, D Groß, S Gumhold, H Hermanns, ... International Workshop on the Foundations of Trustworthy AI Integrating …, 2020 | 16 | 2020 |
| MoGym: Using Formal Models for Training and Verifying Decision-making Agents TP Gros, H Hermanns, J Hoffmann, M Klauck, MA Köhl, V Wolf International Conference on Computer Aided Verification, 430-443, 2022 | 15 | 2022 |
| Analyzing neural network behavior through deep statistical model checking TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz Saarländische Universitäts-und Landesbibliothek, 2022 | 14 | 2022 |
| Let's learn their language? A case for planning with automata-network languages from model checking J Hoffmann, H Hermanns, M Klauck, M Steinmetz, E Karpas, D Magazzeni Proceedings of the AAAI Conference on Artificial Intelligence 34 (09), 13569 …, 2020 | 14 | 2020 |
| DSMC evaluation stages: Fostering robust and safe behavior in deep reinforcement learning TP Gros, D Höller, J Hoffmann, M Klauck, H Meerkamp, V Wolf International Conference on Quantitative Evaluation of Systems, 197-216, 2021 | 13 | 2021 |
| Towards safe autonomous driving: model checking a behavior planner during development L König, C Heinzemann, A Griggio, M Klauck, A Cimatti, F Henze, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 11 | 2024 |
| Components in probabilistic systems: Suitable by construction C Baier, C Dubslaff, H Hermanns, M Klauck, S Klüppelholz, MA Köhl International Symposium on Leveraging Applications of Formal Methods, 240-261, 2020 | 11 | 2020 |
| Momba: JANI meets python MA Köhl, M Klauck, H Hermanns International Conference on Tools and Algorithms for the Construction and …, 2021 | 10 | 2021 |
| Compiling probabilistic model checking into probabilistic planning M Klauck, M Steinmetz, J Hoffmann, H Hermanns Proceedings of the International Conference on Automated Planning and …, 2018 | 10 | 2018 |
| DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning–extended version TP Gros, J Gross, D Hoeller, J Hoffmann, M Klauck, H Meerkamp, ... ACM Transactions on Modeling and Computer Simulation 33 (4), 1-28, 2023 | 9 | 2023 |
| Towards a verifiable toolchain for robotics C Street, Y Warsame, M Mansouri, M Klauck, C Henkel, M Lampacrescia, ... Proceedings of the AAAI Symposium Series 4 (1), 398-403, 2024 | 6 | 2024 |
| Towards verifying robotic systems using statistical model checking in STORM M Lampacrescia, M Klauck, M Palmas International Conference on Bridging the Gap between AI and Reality, 446-467, 2024 | 6 | 2024 |
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Verified email at cs.uni-saarland.de
