- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
RWTH Aachen University, Dissertation, 2020
- Keyword
-
Markov processes
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2020
- Creator
- Contributor
- DOI
-
10.18154/RWTH-2020-02348
- URN
-
urn:nbn:de:101:1-2020110312520656944348
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 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.
Associated
- Junges, Sebastian
- Katoen, Joost-Pieter
- Abate, Alessandro
- Esparza, Javier
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2020
Other Objects (12)
Monotonicity in Markov models
Verification of multi-objective Markov models
Concepts, algorithms, and tools for model checking
Finding Provably Optimal Markov Chains
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Shepherding Hordes of Markov Chains
Gradient descent on parametric Markov Chains
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Semantics and loop invariant synthesis for probabilistic programs
On the Complexity of Reachability in Parametric Markov Decision Processes
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Monotonicity in Markov models
Verification of multi-objective Markov models
Concepts, algorithms, and tools for model checking
Finding Provably Optimal Markov Chains
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Shepherding Hordes of Markov Chains
Gradient descent on parametric Markov Chains
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Semantics and loop invariant synthesis for probabilistic programs
On the Complexity of Reachability in Parametric Markov Decision Processes
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Monotonicity in Markov models
Verification of multi-objective Markov models
Concepts, algorithms, and tools for model checking
Finding Provably Optimal Markov Chains
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Shepherding Hordes of Markov Chains
Gradient descent on parametric Markov Chains
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Semantics and loop invariant synthesis for probabilistic programs
On the Complexity of Reachability in Parametric Markov Decision Processes