Hochschulschrift
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
- Weitere Titel
-
Verifikation von stochastischen Systemen durch Satisfiability Modulo Theory mit kontinuierlichem Domain (CSSMT)
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Oldenburg, Universität Oldenburg, Dissertation, 2017
- Ereignis
-
Veröffentlichung
- (wo)
-
Oldenburg
- (wer)
-
BIS der Universität Oldenburg
- (wann)
-
2017
- Urheber
-
Gao, Yang
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:gbv:715-oops-34828
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:41 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Gao, Yang
- Fränzle, Martin
- Zuliani, Paolo
- BIS der Universität Oldenburg
Entstanden
- 2017
Ähnliche Objekte (12)
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Stochastic population theories
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
The Continuous Stochastic Gradient Method
Interpolation modulo theories
Optimal planning modulo theories
Production technologies in stochastic continuous time models
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
Continuous, smooth, and control techniques for stochastic dynamics
Linear stochastic models in discrete and continuous time
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Stochastic population theories
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
The Continuous Stochastic Gradient Method
Interpolation modulo theories
Optimal planning modulo theories
Production technologies in stochastic continuous time models
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
Continuous, smooth, and control techniques for stochastic dynamics
Linear stochastic models in discrete and continuous time
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Stochastic population theories
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
The Continuous Stochastic Gradient Method
Interpolation modulo theories
Optimal planning modulo theories
Production technologies in stochastic continuous time models
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
Continuous, smooth, and control techniques for stochastic dynamics