Michaela Klauck

Available identifiers

zbMath Open klauck.michaelaMaRDI QIDQ5041275

List of research outcomes

Publication	Date of Publication	Type
DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version	2024-09-06	Paper
Deep Statistical Model Checking	2022-10-13	Paper
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison	2020-06-26	Paper

Research outcomes over time

This page was built for person: Michaela Klauck