> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems Weitere Titel: "Stochastic satisfiability modulo theories" : eine symbolische Technik zur Analyse probabilistischer hybrider Systeme Beteiligte: Teige, Tino [Verfasser]; Fränzle, Martin [Akademischer Betreuer] Erschienen: Oldenburg: IBIT - Universitätsbibliothek, 2012 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Hybrides System ; Stochastisches Modell ; stochastic satisfiability modulo theories ; probabilistic hybrid system ; symbolic model checking ; quantitative analysis ; Craig interpolation ; Hochschulschrift Entstehung: Hochschulschrift: Oldenburg, Universität Oldenburg, Diss., 2012 Anmerkungen: Zugangsstatus: Freier Zugang