1 citations · 1 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025★ 1 cited
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…
cs.LO2024
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…