Sascha Klüppelholz

This article discusses using certificates and witnesses in verifying multi-objective queries in MDPs.

2025-07-29T19:50:36+00:00 ― 4 min read

Learn how predictors enhance the reliability of modern adaptive systems.

2025-03-01T18:26:06+00:00 ― 6 min read