TY  - RPRT
TI  - Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
AU  - Christel Baier
AU  - Calvin Chau
AU  - Volodymyr Drobitko
AU  - Simon Jantsch
AU  - Sascha Klüppelholz
PY  - 2025
UR  - https://arxiv.org/abs/2508.17859
ID  - 2508.17859
ER  -