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…