Follow
Michaela Klauck
Michaela Klauck
Saarland University, Saarland Informatics Campus
Verified email at cs.uni-saarland.de - Homepage
Title
Cited by
Cited by
Year
The 2019 comparison of tools for the analysis of quantitative formal models
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
492019
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
402019
Deep statistical model checking
TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz
International Conference on Formal Techniques for Distributed Objects …, 2020
222020
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
102020
On Correctness, Precision, and Performance in Quantitative Verification
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
102020
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
102017
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
92020
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
72020
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
72018
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
52020
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
52020
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
32020
Momba: JANI Meets Python
MA Köhl, M Klauck, H Hermanns
International Conference on Tools and Algorithms for the Construction and …, 2021
22021
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking
M Klauck, H Hermanns
International Conference on Quantitative Evaluation of Systems, 15-38, 2021
12021
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
12021
Compiling probabilistic model checking into probabilistic planning (technical report)
M Klauck, M Steinmetz, J Hoffmann, H Hermanns
Technical report, Saarland University. Available at http://fai. cs. uni …, 2018
12018
On the connection of probabilistic model checking, planning, and learning for system verification
M Klauck
Saarländische Universitäts-und Landesbibliothek, 2022
2022
: 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
2022
Correction to: 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, C1-C1, 2021
2021
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models
M Klauck, J Klein, J Kretınský, D Parker, T Quatmann, E Ruijters, ...
The system can't perform the operation now. Try again later.
Articles 1–20