- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 10.1007/978-3-030-53291-8_18
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2020
- Urheber
-
Feng, Shenghua
Chen, Mingshuai
Xue, Bai
Sankaranarayanan, Sriram
Zhan, Naijun
- DOI
-
10.18154/RWTH-2020-07595
- URN
-
urn:nbn:de:101:1-2021020208200275083802
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 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.
Beteiligte
- Feng, Shenghua
- Chen, Mingshuai
- Xue, Bai
- Sankaranarayanan, Sriram
- Zhan, Naijun
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2020
Ähnliche Objekte (12)
Effective dynamics for stochastic differential equations
On the dynamics of marcus type stochastic differential equations
Nonzero-sum stochastic differential games with impulse controls: a verification theorem with applications
Stochastic differential equations
Stochastic differential equations
Dynamics of stochastic partial differential equations with dynamical boundary conditions
Dynamics of stochastic partial differential equations with dynamical boundary conditions
Temporal verification of reactive systems : safety
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Stochastic dynamics
Stochastic dynamics
Effective dynamics for stochastic differential equations
On the dynamics of marcus type stochastic differential equations
Nonzero-sum stochastic differential games with impulse controls: a verification theorem with applications
Stochastic differential equations
Stochastic differential equations
Dynamics of stochastic partial differential equations with dynamical boundary conditions
Dynamics of stochastic partial differential equations with dynamical boundary conditions
Temporal verification of reactive systems : safety
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Stochastic dynamics
Stochastic dynamics
Effective dynamics for stochastic differential equations
On the dynamics of marcus type stochastic differential equations
Nonzero-sum stochastic differential games with impulse controls: a verification theorem with applications
Stochastic differential equations
Stochastic differential equations
Dynamics of stochastic partial differential equations with dynamical boundary conditions
Dynamics of stochastic partial differential equations with dynamical boundary conditions
Temporal verification of reactive systems : safety
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Stochastic dynamics