Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes. - Christel Baier; Calvin Chau; Volodymyr Drobitko; Simon Jantsch; Sascha Klüppelholz (CoRR, 2025)