Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact
Dataset: Code
Related content
- Research output
- Prizes
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes
Baier, C., Chau, C. & Klüppelholz, S., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J., Soudjani, S. & Waga, M. (eds.). Cham: Springer Nature Switzerland, p. 1-18 18 p. (Lecture Notes in Computer Science, Vol. 14996).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
QEST+FORMATS Outstanding Artifact Award
Baier, C. (Recipient), Chau, C. (Recipient) & Klüppelholz, S. (Recipient), 11 Sept 2024
Prize: Publication/Conference prize