Michaela Klauck

According to our database, Michaela Klauck authored at least 30 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

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, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf

ACM Trans. Model. Comput. Simul., October, 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

Dataset, October, 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

Dataset, October, 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

Dataset, October, 2023

Analyzing neural network behavior through deep statistical model checking.

Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz

Int. J. Softw. Tools Technol. Transf., June, 2023

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, Michaela Klauck, Maximilian A. Köhl, Verena Wolf

Dataset, May, 2022

On the connection of probabilistic model checking, planning, and learning for system verification.

Michaela Klauck

PhD thesis, 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, Stefan Gumhold

Proceedings of the 26th International Conference Information Visualisation, 2022

The Modest State of Learning, Sampling, and Verifying Strategies.

Arnd Hartmanns, Michaela Klauck

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

MoGym: Using Formal Models for Training and Verifying Decision-making Agents.

Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents".

Timo P. Gros, Holger Hermanns, Michaela Klauck, Maximilian A. Köhl

Dataset, November, 2021

Artifact accompanying the paper "A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking".

Michaela Klauck, Holger Hermanns

Dataset, August, 2021

(TACAS21 Artifact) Momba: JANI Meets Python.

Maximilian A. Köhl, Michaela Klauck, Holger Hermanns

Dataset, March, 2021

Momba: JANI Meets Python.

Maximilian A. Köhl, Michaela Klauck, Holger Hermanns

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking.

Michaela Klauck, Holger Hermanns

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning.

Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

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

Dataset, August, 2020

Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison.

Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns

J. Artif. Intell. Res., 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, Michaela Klauck

Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020

TraceVis: Towards Visualization for Deep Statistical Model Checking.

Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.

Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 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, Tim Quatmann, Andrea Turrini, Zhen Zhang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Components in Probabilistic Systems: Suitable by Construction.

Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Deep Statistical Model Checking.

Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking.

Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

The Quantitative Verification Benchmark Set.

Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Compiling Probabilistic Model Checking into Probabilistic Planning.

Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Noticeable or Distractive?: A Design Space for Gaze-Contingent User Interface Notifications.

Michaela Klauck, Yusuke Sugano, Andreas Bulling

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017