Hochschulschrift
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
- Alternative title
-
Verifikation von stochastischen Systemen durch Satisfiability Modulo Theory mit kontinuierlichem Domain (CSSMT)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Oldenburg, Universität Oldenburg, Dissertation, 2017
- Event
-
Veröffentlichung
- (where)
-
Oldenburg
- (who)
-
BIS der Universität Oldenburg
- (when)
-
2017
- Creator
-
Gao, Yang
- Contributor
- URN
-
urn:nbn:de:gbv:715-oops-34828
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:41 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Gao, Yang
- Fränzle, Martin
- Zuliani, Paolo
- BIS der Universität Oldenburg
Time of origin
- 2017
Other Objects (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