Sascha Klüppelholz — accepted AI-conference papers

2025

Formal Quality Measures for Predictors in Markov Decision Processes

Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek

AAAI 2025technical

In adaptive systems, predictors are used to anticipate changes in the system’s state or behavior that may require system adaption, e.g., changing its configuration or adjusting resource allocation. Therefore, the quality of predictors is crucial for the overall reliability and performance of the sys…

Cited by 1 Source ↗PDF ↗Scholar ↗

2024

Backward Responsibility in Transition Systems Using General Power Indices

Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer

AAAI 2024technical

To improve reliability and the understanding of AI systems, there is increasing interest in the use of formal methods, e.g. model checking. Model checking tools produce a counterexample when a model does not satisfy a property. Understanding these counterexamples is critical for efficient debugging,…

Cited by 5 Source ↗PDF ↗code ↗Scholar ↗