Skip to content Skip to footer

QEST+FORMATS Outstanding Artifact Award

Prize: Publication/Conference prize

Recipients

Awarded date11 Sept 2024
Degree of recognitionInternational

Conference

Title1st International Joint Conference on Quantitative Evaluation of SysTems & Formal Modeling and Analysis of Timed Systems
Abbreviated titleQEST+FORMATS 2024
Descriptionpart of the CONFEST 2024 conference
Duration9 - 13 September 2024
Website
Degree of recognitionInternational event
LocationBest Western Plus Village Park Inn
CityCalgary
CountryCanada

Related content

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)