> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Certificates and Witnesses for Probabilistic Model Checking Beteiligte: Jantsch, Simon [Verfasser]; Baier, Christel [Gutachter]; Jansen, Nils [Gutachter] Erschienen: Dresden: Technische Universität Dresden, 2022 Umfang: Online-Ressource Sprache: Englisch Identifikator: RVK-Notation: ST 136 : Automatentheorie, Formale Sprache Schlagwörter: Witnesses ; Probabilistic Model Checking ; Verification ; Markov Decision Processes ; Probabilistic Reachability Constraints ; Probabilistische Modellüberprüfung ; Verifikation ; Markov-Entscheidungsprozesse ; probabilistische Erreichbarkeitsbeschränkungen Entstehung: Hochschulschrift: Dissertation, Dresden, Technische Universität Dresden, 2022 Anmerkungen: Zugangsstatus: Freier Zugang