- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 10.4230/LIPICS.CONCUR.2019.14
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2019
- Urheber
- DOI
-
10.18154/RWTH-2020-00609
- URN
-
urn:nbn:de:101:1-2021032314523102485637
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 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
- Winkler, Tobias
- Junges, Sebastian
- Pérez, Guillermo A.
- Katoen, Joost-Pieter
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2019
Ähnliche Objekte (12)
Gradient descent on parametric Markov Chains
Monotonicity in Markov models
Finding Provably Optimal Markov Chains
Verification of multi-objective Markov models
Concepts, algorithms, and tools for model checking
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Parameter synthesis in Markov models
Shepherding Hordes of Markov Chains
Complexity and decidability of multi-objective stochastic games
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Gradient descent on parametric Markov Chains
Monotonicity in Markov models
Finding Provably Optimal Markov Chains
Verification of multi-objective Markov models
Concepts, algorithms, and tools for model checking
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Parameter synthesis in Markov models
Shepherding Hordes of Markov Chains
Complexity and decidability of multi-objective stochastic games
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Gradient descent on parametric Markov Chains
Monotonicity in Markov models
Finding Provably Optimal Markov Chains
Verification of multi-objective Markov models
Concepts, algorithms, and tools for model checking
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Parameter synthesis in Markov models
Shepherding Hordes of Markov Chains
Complexity and decidability of multi-objective stochastic games
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains