Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

QEST+FORMATS Outstanding Artifact Award

Auszeichnung: Preis › Publikations-/Konferenzpreis

Empfänger:innen

Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik
Calvin Chau - , Professur für Algebraische und logische Grundlagen der Informatik
Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik

Datum der Verleihung	11 Sept. 2024
Bekanntheitsgrad	International

Konferenz

Titel	1st International Joint Conference on Quantitative Evaluation of SysTems & Formal Modeling and Analysis of Timed Systems
Kurztitel	QEST+FORMATS 2024
Beschreibung	part of the CONFEST 2024 conference
Dauer	9 - 13 September 2024
Webseite	https://www.qest-formats.org/
Bekanntheitsgrad	Internationale Veranstaltung
Ort	Best Western Plus Village Park Inn
Stadt	Calgary
Land	Kanada

Verknüpfte Inhalte

Veröffentlichungen
Aktivitäten
Forschungsdaten

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. (Hrsg.). Cham: Springer Nature Switzerland, S. 1-18 18 S. (Lecture Notes in Computer Science, Band 14996).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)

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

Chau, C. (Redner:in)

10 Sept. 2024

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Alle Aktivitäten ansehen (1)

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

Baier, C. (Urheber:in), Chau, C. (Urheber:in) & Klüppelholz, S. (Urheber:in), Zenodo, 24 Juni 2024

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

Forschungsdaten: Software

Alle Forschungsdaten ansehen (1)