Michaela Klauck

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 21

Top Topics

Probabilistic Planning

Temporal Properties

Top Venues

Publications

Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. TACAS (2) (2024)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
Analyzing neural network behavior through deep statistical model checking. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version. ACM Trans. Model. Comput. Simul. 33 (4) (2023)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf
MoGym: Using Formal Models for Training and Verifying Decision-making Agents. CAV (2) (2022)
Arnd Hartmanns, Michaela Klauck
The Modest State of Learning, Sampling, and Verifying Strategies. ISoLA (3) (2022)
David Groß, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jörg Hoffmann, Stefan Gumhold
Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack. IV (2022)
Michaela Klauck, Holger Hermanns
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking. QEST (2021)
Maximilian A. Köhl, Michaela Klauck, Holger Hermanns
Momba: JANI Meets Python. TACAS (2) (2021)
Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. QEST (2021)
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison. J. Artif. Intell. Res. 68 (2020)
Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
TraceVis: Towards Visualization for Deep Statistical Model Checking. ISoLA (4) (2020)
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. ISoLA (4) (2020)
Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck
Lab Conditions for Research on Explainable Automated Decisions. TAILOR (2020)
Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. ISoLA (2) (2020)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) (2020)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
Deep Statistical Model Checking. FORTE (2020)
Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. AAAI (2020)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) (2019)
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
The Quantitative Verification Benchmark Set. TACAS (1) (2019)
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS (2018)
Michaela Klauck, Yusuke Sugano, Andreas Bulling
Noticeable or Distractive?: A Design Space for Gaze-Contingent User Interface Notifications. CHI Extended Abstracts (2017)