> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Verification of continuous-space stochastic systems Beteiligte: Mereacre, Alexandru [Verfasser:in] Erschienen: Aachen: Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Markov-Entscheidungsprozess , Ergodische Kette , Unendlicher Zustandsraum , Model Checking ; Hochschulschrift Entstehung: Hochschulschrift: Aachen, Techn. Hochsch., Diss., 2011 Anmerkungen: Zugangsstatus: Freier Zugang