Michaela Klauck

31 papers A* 2A 2C 2Journal 4Unranked 20
YearRankTypeTitle / Venue / Authors
2026 — conf
Bluetooth Low Energy for Safety-Critical Real-Time Applications.
Engineering Safe and Trustworthy Cyber Physical Systems
Holger Hermanns, Michaela Klauck, Govinda Sicheneder
2026 — conf
Driving by Disproof: A Practical Model Checking Approach to Fleet Coordination.
TACAS (1)
Lukas König, Christian Schildwächter, Michaela Klauck, Christian Heinzemann
2025 A conf
AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy.
IROS
Christian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli
2025 J jnl
AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy.
CoRR
Christian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli
2025 — conf
Efficient Quality Diversity Optimization with Monte Carlo Bayesian Sampling.
GECCO Companion
Matteo Palmas, Varun Bhatt, Shihan Zhao, Stefanos Nikolaidis, Ralph Lange, Michaela Klauck
2025 — conf
Surveying Deliberation Practices and Methodological Needs in Robotics Software Engineering.
TAROS
Michaela Klauck, Christian Henkel, Marco Lampacrescia, Ginny Jorgensen
2025 A conf
Translating Behavior Trees to Petri Nets for Model Checking.
MODELS
Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella
2024 — conf
Towards Robust Autonomous Robots Using Statistical Model Checking.
ERF (1)
Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir, Matteo Palmas
2024 — conf
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development.
TACAS (2)
Lukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann
2024 — conf
Towards Verifying Robotic Systems Using Statistical Model Checking in STORM.
AISoLA
Marco Lampacrescia, Michaela Klauck, Matteo Palmas
2023 J jnl
Analyzing neural network behavior through deep statistical model checking.
Int. J. Softw. Tools Technol. Transf.
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
2023 J jnl
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version.
ACM Trans. Model. Comput. Simul.
Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf
2022 C conf
Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack.
IV
David Groß, Michaela Klauck, Timo P. Gros, Marcel Steinmetz, Jörg Hoffmann, Stefan Gumhold
2022 — conf
MoGym: Using Formal Models for Training and Verifying Decision-making Agents.
CAV (2)
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Verena Wolf
2022 — —
On the connection of probabilistic model checking, planning, and learning for system verification.
Michaela Klauck
2022 — conf
The Modest State of Learning, Sampling, and Verifying Strategies.
ISoLA (3)
Arnd Hartmanns, Michaela Klauck
2021 — conf
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking.
QEST
Michaela Klauck, Holger Hermanns
2021 — conf
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning.
QEST
Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf
2021 — conf
Momba: JANI Meets Python.
TACAS (2)
Maximilian A. Köhl, Michaela Klauck, Holger Hermanns
2020 J jnl
Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison.
J. Artif. Intell. Res.
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
2020 — conf
Components in Probabilistic Systems: Suitable by Construction.
ISoLA (1)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
2020 C conf
Deep Statistical Model Checking.
FORTE
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
2020 — conf
Lab Conditions for Research on Explainable Automated Decisions.
TAILOR
Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck
2020 A* conf
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking.
AAAI
Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
2020 — conf
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.
ISoLA (4)
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
2020 — conf
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.
ISoLA (2)
Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
2020 — conf
TraceVis: Towards Visualization for Deep Statistical Model Checking.
ISoLA (4)
Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
2019 — conf
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).
TACAS (3)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
2019 — conf
The Quantitative Verification Benchmark Set.
TACAS (1)
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
2018 A* conf
Compiling Probabilistic Model Checking into Probabilistic Planning.
ICAPS
Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns
2017 — conf
Noticeable or Distractive?: A Design Space for Gaze-Contingent User Interface Notifications.
CHI Extended Abstracts
Michaela Klauck, Yusuke Sugano, Andreas Bulling