Skip to content Skip to footer

Research Portal of the TU Dresden

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA

Dataset: Code

Persons and affiliations

Christel 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 person

Chau, Calvin
- calvin.chau@tu-dresden.de
- Chair of Algebraic and Logical Foundations of Computer Science - Academic Staff
Person

Related content

Research output

Certificates and witnesses for multi-objective queries in Markov decision processes

Baier, C., Chau, C. & Klüppelholz, S., Jun 2025, In: Performance Evaluation. 168, 102482.

Research output: Contribution to journal › Research article › Contributed › peer-review

View all research output (1)