5 citations · 6 across the 10 of their papers we have counts for
5 papers · 1 filter
Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
Christel Baier, Calvin Chau, Volodymyr Drobitko +2
Multi-objective probabilistic model checking is a powerful technique for verifying stochastic systems against multiple (potentially conflicting) properties. To enhance the trustwor…
Formal Quality Measures for Predictors in Markov Decision Processes
Christel Baier, Sascha Klüppelholz, Jakob Piribauer +1
In adaptive systems, predictors are used to anticipate changes in the systems state or behavior that may require system adaption, e.g., changing its configuration or adjusting reso…
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
Christel Baier, Calvin Chau, Sascha Klüppelholz
Certifying verification algorithms not only return whether a given property holds or not, but also provide an accompanying independently checkable certificate and a corresponding w…
Maximizing the Conditional Expected Reward for Reaching the Goal
Christel Baier, Joachim Klein, Sascha Klüppelholz +1
The paper addresses the problem of computing maximal conditional expected accumulated rewards until reaching a target state (briefly called maximal conditional expectations) in fin…
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Christel Baier, Marcus Daum, Benjamin Engel +6
Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore comp…