Publications
You can also find my publications on Google Scholar.
Authors of publications in the model checking community are ordered alphabetically (with three exceptions ordered by contribution). In the planning, visualization, and robotics community authors are listed by contribution.
| Year | Publication |
|---|---|
| 2026 | Lukas König, Franziska Henze, Christian Heinzemann, Michaela Klauck, Alberto Griggio, Stefano Tonetta : Exploiting Formal Verification for the Systematic Discovery of Corner Cases in a Behavior Planner for Automated Driving IEEE Transactions on Intelligent Transportation Systems 2026 |
| 2026 | Lukas König, Christian Schildwächter, Michaela Klauck, Christian Heinzemann : Driving by Disproof: A Practical Model Checking Approach to Fleet Coordination TACAS 2026 |
| 2025 | Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella: Translating Behavior Trees to Petri Nets for Model Checking MODELS 2025 |
| 2025 | Christian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli: AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy IROS 2025 |
| 2025 | Holger Hermanns, Michaela Klauck, Govinda Sicheneder: Bluetooth Low Energie for Safety-Critical Real-Time Applications Engineering Safe and Trustworthy Cyber-Physical Systems 2025, Springer LNCS |
| 2025 | Michaela Klauck, Christian Henkel, Marco Lampacrescia, Ginny Jorgensen: Surveying Deliberation Practices and Methodological Needs in Robotics Software Engineering TAROS 2025 |
| 2025 | Matteo Palmas, Varun Bhatt, Shihan Zhao, Stefanos Nikolaidis, Ralph Lange, Michaela Klauck : Efficient Quality Diversity Optimization with Monte Carlo Bayesian Sampling GECCO 2025 |
| 2025 | Enrico Ghiorzi, Christian Henkel, Matteo Palmas, Michaela Klauck, Armando Tacchella: Execution Semantics of Behavior Trees in Robotic Applications arXiv |
| 2024 | Charlie Street, Yazz Warsame, Masoumeh Mansouri, Michaela Klauck, Christian Henkel, Marco Lampacrescia, Matteo Palmas, Ralph Lange, Enrico Ghiorzi, Armando Tacchella, Razane Azrou, Matteo Morelli, Ginny Chen, Danielle Wallis, Stefano Bernagozzi, Stefano Rosa, Marco Randazzo, Sofia Feraci, Lorenzo Natale : Towards a Verifiable Toolchain for Robotics AAAI Fall Symposium 2024 Best Paper Award |
| 2024 | Marco Lampacrescia, Michaela Klauck, Matteo Palmas: Towards Verifying Robotic Systems using Statistical Model Checking in STORM AISoLA 2024 |
| 2024 | Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir, Matteo Palmas: Towards Robust Autonomous Robots using Statistical Model Checking SPAR 2024, European Robotics Forum (ERF) 2024 |
| 2024 | 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 2024 Distinguished Artifact Award |
| 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 TOMACS 2023 |
| 2023 | Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz: Analyzing neural network behavior through deep statistical model checking STTT 2023 |
| 2022 | Arnd Hartmanns, Michaela Klauck: The modest state of learning, sampling, and verifying strategies ISoLA 2022 |
| 2022 | Michaela Klauck: On the Connection of Probabilistic Model Checking, Planning, and Learning for System Verification PhD Thesis at Saarland University |
| 2022 | Timo P. Gros, Holger Hermanns, Joerg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf: MoGym: Using Formal Models for Training and Verifying Decision-making Agents CAV 2022 |
| 2022 | David Groß, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jörg Hoffmann, Stefan Gumhold: Glyph-Based Visual Analysis of Q-Learning Based Action Policy Ensembles on Racetrack IV 2022 Best Paper Award |
| 2021 | Michaela Klauck, Holger Hermanns: A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking QEST 2021 |
| 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 |
| 2021 | Maximilian A. Köhl, Michaela Klauck, Holger Hermanns: Momba: JANI meets Python TACAS (2) 2021 |
| 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 Racetrack Website |
| 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 |
| 2020 | Carlos E Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang: On Correctness, Precision, and Performance in Quantitative Verification ISoLA (4) 2020 |
| 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 |
| 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 |
| 2020 | Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz: Deep Statistical Model Checking FORTE 2020 Talk Video |
| 2020 | Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns: Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison Journal of Artificial Intelligence Research, Volume 68, 247-310, 2020, (first link includes online appendix) |
| 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: 13569-13575, Senior Member Track |
| 2019 | Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters: The Quantitative Verification Benchmark Set TACAS (1) 2019. |
| 2019 | 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. |
| 2018 | Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns: Compiling Probabilistic Model Checking into Probabilistic Planning ICAPS 2018. Technical Report The current version of the script to translate JANI MDP models with a restricted syntax into PPDDL used in these papers can be found here. |
| 2017 | Michaela Klauck, Yusuke Sugano, Andreas Bulling: Noticeable or Distractive? A Design Space for Gaze-Contingent User Interface Notifications CHI 2017. |