Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Reproduction package for dissertation "Statistical Model Checking via Robust Markov Decision Processes"

Forschungsdaten: Software

Personen und Einrichtungen

Patrick Wienhöft - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)

Verknüpfte Inhalte

Veröffentlichungen

Statistical Model Checking with Robust Markov Decision Processes

Wienhöft, P., 4 Nov. 2025, 213 S.

Publikation: Hochschulschrift/Abschlussarbeit › Dissertation

Alle Veröffentlichungen ansehen (1)