Noticeable or Distractive?: A Design Space for Gaze-Contingent User Interface Notifications. - Michaela Klauck; Yusuke Sugano; Andreas Bulling (CHI Extended Abstracts, 2017)

Compiling Probabilistic Model Checking into Probabilistic Planning. - Michaela Klauck; Marcel Steinmetz; Jörg Hoffmann 001; Holger Hermanns (ICAPS, 2018)

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). - Ernst Moritz Hahn; Arnd Hartmanns; Christian Hensel; Michaela Klauck; Joachim Klein 001; Jan Kretínský; David Parker 001; Tim Quatmann; Enno Ruijters; Marcel Steinmetz (TACAS (3), 2019)

The Quantitative Verification Benchmark Set. - Arnd Hartmanns; Michaela Klauck; David Parker 001; Tim Quatmann; Enno Ruijters (TACAS (1), 2019)

Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. - Jörg Hoffmann 001; Holger Hermanns; Michaela Klauck; Marcel Steinmetz; Erez Karpas; Daniele Magazzeni (AAAI, 2020)

Deep Statistical Model Checking. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Marcel Steinmetz (FORTE, 2020)

Components in Probabilistic Systems: Suitable by Construction. - Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl (ISoLA (1), 2020)

On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. - Carlos E. Budde; Arnd Hartmanns; Michaela Klauck; Jan Kretínský; David Parker 001; Tim Quatmann; Andrea Turrini; Zhen Zhang 006 (ISoLA (4), 2020)

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. - Rasha Faqeh; Christof Fetzer; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Marcel Steinmetz; Christoph Weidenbach (ISoLA (2), 2020)

TraceVis: Towards Visualization for Deep Statistical Model Checking. - Timo P. Gros; David Groß; Stefan Gumhold; Jörg Hoffmann 001; Michaela Klauck; Marcel Steinmetz (ISoLA (4), 2020)

Lab Conditions for Research on Explainable Automated Decisions. - Christel Baier; Maria Christakis; Timo P. Gros; David Groß; Stefan Gumhold; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck (TAILOR, 2020)

Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. - Michaela Klauck; Marcel Steinmetz; Jörg Hoffmann 001; Holger Hermanns (J. Artif. Intell. Res., 2020)

Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". - Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl (Zenodo, 2020)

DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. - Timo P. Gros; Daniel Höller; Jörg Hoffmann 001; Michaela Klauck; Hendrik Meerkamp; Verena Wolf (QEST, 2021)

A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking. - Michaela Klauck; Holger Hermanns (QEST, 2021)

Momba: JANI Meets Python. - Maximilian A. Köhl; Michaela Klauck; Holger Hermanns (TACAS (2), 2021)

(TACAS21 Artifact) Momba: JANI Meets Python. - Maximilian A. Köhl; Michaela Klauck; Holger Hermanns (Zenodo, 2021)

Artifact accompanying the paper "A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking". - Michaela Klauck; Holger Hermanns (Zenodo, 2021)

Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents". - Timo P. Gros; Holger Hermanns; Michaela Klauck; Maximilian A. Köhl (Zenodo, 2021)

MoGym: Using Formal Models for Training and Verifying Decision-making Agents. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Verena Wolf (CAV (2), 2022)

The Modest State of Learning, Sampling, and Verifying Strategies. - Arnd Hartmanns; Michaela Klauck (ISoLA (3), 2022)

Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. - David Groß; Michaela Klauck; Timo P. Gros; Marcel Steinmetz; Jörg Hoffmann 001; Stefan Gumhold (IV, 2022)

On the connection of probabilistic model checking, planning, and learning for system verification. - Michaela Klauck (2022)

Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Verena Wolf (Zenodo, 2022)

Analyzing neural network behavior through deep statistical model checking. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Marcel Steinmetz (Int. J. Softw. Tools Technol. Transf., 2023)

Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)

Supplementary Material for TACAS Submission "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)

Artifact for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)

Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2023)

DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version. - Timo P. Gros; Joschka Groß; Daniel Höller; Jörg Hoffmann 001; Michaela Klauck; Hendrik Meerkamp; Nicola J. Müller; Lukas Schaller; Verena Wolf (ACM Trans. Model. Comput. Simul., 2023)

Towards Robust Autonomous Robots Using Statistical Model Checking. - Michaela Klauck; Ralph Lange; Christian Henkel; Selma Kchir; Matteo Palmas (ERF (1), 2024)

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (TACAS (2), 2024)

Towards Verifying Robotic Systems Using Statistical Model Checking in STORM. - Marco Lampacrescia; Michaela Klauck; Matteo Palmas (AISoLA, 2024)

Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2024)

Supplementary Material for "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development". - Lukas König; Christian Heinzemann; Alberto Griggio; Michaela Klauck; Alessandro Cimatti; Franziska Henze; Stefano Tonetta; Stefan Küperkoch; Dennis Fassbender; Michael Hanselmann (Zenodo, 2024)

Surveying Deliberation Practices and Methodological Needs in Robotics Software Engineering. - Michaela Klauck; Christian Henkel; Marco Lampacrescia; Ginny Jorgensen (TAROS, 2025)