Media type: E-Book; Thesis Title: Model checking stochastic hybrid systems Contributor: Hahn, Ernst Moritz [Verfasser]; Hermanns, Holger [Akademischer Betreuer] imprint: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013 Extent: Online-Ressource Language: English Identifier: Keywords: Stochastik ; Wahrscheinlichkeitsverteilung ; Messbarkeit ; Stochastische Hybride Systeme ; Spiele ; Parameter ; stochastic hybrid systems ; measurability ; games ; rewards ; parameters ; Hochschulschrift Origination: University thesis: Saarbrücken, Universität des Saarlandes, Diss., 2012 Footnote: Access State: Open Access