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

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

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)

Forschungsportal der TU Dresden

Empfänger:innen

Konferenz

Verknüpfte Inhalte