Skip to content Skip to footer

Research Portal of the TU Dresden

QEST+FORMATS Outstanding Artifact Award

Prize: Publication/Conference prize

Recipients

Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science
Calvin Chau - , Chair of Algebraic and Logical Foundations of Computer Science
Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science

Awarded date	11 Sept 2024
Degree of recognition	International

Conference

Title	1st International Joint Conference on Quantitative Evaluation of SysTems & Formal Modeling and Analysis of Timed Systems
Abbreviated title	QEST+FORMATS 2024
Description	part of the CONFEST 2024 conference
Duration	9 - 13 September 2024
Website	https://www.qest-formats.org/
Degree of recognition	International event
Location	Best Western Plus Village Park Inn
City	Calgary
Country	Canada

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

View all research output (1)

Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes

Chau, C. (Speaker)

10 Sept 2024

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

View all activities (1)

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

Baier, C. (Creator), Chau, C. (Creator) & Klüppelholz, S. (Creator), Zenodo, 24 Jun 2024

DOI: https://doi.org/10.5281/zenodo.10961959, https://zenodo.org/records/12513996

Dataset: Code

View all research data (1)

Research Portal of the TU Dresden

Recipients

Conference

Related content