What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes

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

Personen und Einrichtungen

Patrick Wienhöft - , Professur für Algebraische und logische Grundlagen der Informatik, Exzellenzcluster CeTI: Zentrum für Taktiles Internet (Redner:in)

Datum

26 Aug. 2025

Konferenz

Titel	2nd International Joint Conference on Quantitative Evaluation of SysTems & Formal Modeling and Analysis of Timed Systems
Kurztitel	QEST+FORMATS 2025
Veranstaltungsnummer	2
Beschreibung	part of CONFEST 2025
Dauer	26 - 28 August 2025
Webseite	https://www.qest-formats.org/
Bekanntheitsgrad	Internationale Veranstaltung
Ort	Aarhus University
Stadt	Aarhus
Land	Dänemark

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes

Meggendorfer, T., Weininger, M. & Wienhöft, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (Hrsg.). Springer, Cham, S. 195-218 24 S. (Lecture Notes in Computer Science, Band 16143).

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

Alle Veröffentlichungen ansehen (1)

Forschungsportal der TU Dresden

Personen und Einrichtungen

Datum

Konferenz

Schlagworte

Verknüpfte Inhalte