- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 10.1007/978-3-030-17465-1_10
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2019
- Creator
- DOI
-
10.18154/RWTH-2020-03719
- URN
-
urn:nbn:de:101:1-2021032314534345559794
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 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
- Češka, Milan
- Jansen, Nils
- Junges, Sebastian
- Katoen, Joost-Pieter
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2019
Other Objects (12)
Finding Provably Optimal Markov Chains
Gradient descent on parametric Markov Chains
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Verification of multi-objective Markov models
Monotonicity in Markov models
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
Concepts, algorithms, and tools for model checking
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Parameter synthesis in Markov models
On the Complexity of Reachability in Parametric Markov Decision Processes
Verification of pointer programs
Multi-objective Optimization of Long-run Average and Total Rewards
Finding Provably Optimal Markov Chains
Gradient descent on parametric Markov Chains
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Verification of multi-objective Markov models
Monotonicity in Markov models
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
Concepts, algorithms, and tools for model checking
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Parameter synthesis in Markov models
On the Complexity of Reachability in Parametric Markov Decision Processes
Verification of pointer programs
Multi-objective Optimization of Long-run Average and Total Rewards
Finding Provably Optimal Markov Chains
Gradient descent on parametric Markov Chains
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Verification of multi-objective Markov models
Monotonicity in Markov models
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
Concepts, algorithms, and tools for model checking
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Parameter synthesis in Markov models
On the Complexity of Reachability in Parametric Markov Decision Processes
Verification of pointer programs