Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVADataset: Code Persons and affiliationsChristel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)Calvin Chau - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Creator) Contact personChau, Calvincalvin.chau@tu-dresden.deChair of Algebraic and Logical Foundations of Computer Science - Academic StaffPerson