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

Forschungsdaten: Software

Personen und Einrichtungen

Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
Calvin Chau - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)

Ansprechperson

Chau, Calvin
- calvin.chau@tu-dresden.de
- Professur für Algebraische und logische Grundlagen der Informatik - Wissenschaftliches Personal
Person

Verknüpfte Inhalte

Veröffentlichungen
Auszeichnungen

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)

QEST+FORMATS Outstanding Artifact Award

Baier, C. (Empfänger:in), Chau, C. (Empfänger:in) & Klüppelholz, S. (Empfänger:in), 11 Sept. 2024

Auszeichnung: Preis › Publikations-/Konferenzpreis

Alle Auszeichnungen ansehen (1)

Forschungsportal der TU Dresden

Personen und Einrichtungen

Ansprechperson

Chau, Calvin

Verknüpfte Inhalte