TY  - RPRT
TI  - Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
AU  - Christel Baier
AU  - Calvin Chau
AU  - Sascha Klüppelholz
PY  - 2025
UR  - https://arxiv.org/abs/2406.08175
ID  - 2406.08175
ER  -