- Alternative title
-
Verifikation von Markov Entscheidungsprozessen in Diskreter Zeit
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2021
- Keyword
-
Decision making
Time
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2021
- Creator
-
Meggendorfer, Tobias
- Contributor
-
Křetínský, Jan
Baier, Christel
- URN
-
urn:nbn:de:bvb:91-diss-20210226-1550256-1-5
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:45 AM CEST
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.
Associated
- Meggendorfer, Tobias
- Křetínský, Jan
- Baier, Christel
- Universitätsbibliothek der TU München
Time of origin
- 2021
Other Objects (12)
Fault detection schemes for discrete-time linear Markov jump systems
An Iterative Procedure for Non-Discounted Discrete-Time Markov Decisions
Discrete-time survival forests with Hellinger distance decision trees
Linear Discrete-Time Descriptor Systems
Bubbles in discrete-time models
A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie
Stabilization of discrete-time bilinear systems
Discrete-time k-positive linear systems
Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis
Fault detection reduced-order filter design for discrete-time Markov jump system with deficient transition information
Solving The Discrete-Time Stochastic Ramsey Model
Theory and applications of discrete-time flatness
Fault detection schemes for discrete-time linear Markov jump systems
An Iterative Procedure for Non-Discounted Discrete-Time Markov Decisions
Discrete-time survival forests with Hellinger distance decision trees
Linear Discrete-Time Descriptor Systems
Bubbles in discrete-time models
A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie
Stabilization of discrete-time bilinear systems
Discrete-time k-positive linear systems
Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis
Fault detection reduced-order filter design for discrete-time Markov jump system with deficient transition information
Solving The Discrete-Time Stochastic Ramsey Model
Theory and applications of discrete-time flatness
Fault detection schemes for discrete-time linear Markov jump systems
An Iterative Procedure for Non-Discounted Discrete-Time Markov Decisions
Discrete-time survival forests with Hellinger distance decision trees
Linear Discrete-Time Descriptor Systems
Bubbles in discrete-time models
A framework for the automatic verification of discrete-time MATLAB simulink models using Boogie
Stabilization of discrete-time bilinear systems
Discrete-time k-positive linear systems
Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis
Fault detection reduced-order filter design for discrete-time Markov jump system with deficient transition information
Solving The Discrete-Time Stochastic Ramsey Model