Christel Baier

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

A look into how weight functions can improve analysis of linear dynamical systems.

This article presents a fresh perspective on analyzing Markov chains through distribution transformers.

Explore how Markov Decision Processes aid in managing uncertain outcomes with risk considerations.

Learn how bisimulation can ease complex system verification.

Learn how predictors enhance the reliability of modern adaptive systems.