- Weitere Titel
-
Durch Boolesche Logik gesteuerte Markov-Prozesse – Erklärt. Analysiert. Verifiziert.
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
RWTH Aachen University, Dissertation, 2022
- Erschienen in
-
Aachener Informatik-Berichte (AIB) ; AIB-2022-02
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2022
- Urheber
- Beteiligte Personen und Organisationen
- DOI
-
10.18154/RWTH-2022-09528
- URN
-
urn:nbn:de:101:1-2022121800352016016125
- 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
- Khan, Shahid
- Katoen, Joost-Pieter
- Stoelinga, Mariëlle
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2022
Ähnliche Objekte (12)
Monotonicity in Markov models
Finding Provably Optimal Markov Chains
Verification of multi-objective Markov models
Concepts, algorithms, and tools for model checking
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Automated reasoning and randomization in separation logic
New results on probabilistic verification : automata, logic and satisfiability
Parameter synthesis in Markov models
Shepherding Hordes of Markov Chains
Gradient descent on parametric Markov Chains
On the Complexity of Reachability in Parametric Markov Decision Processes
Monotonicity in Markov models
Finding Provably Optimal Markov Chains
Verification of multi-objective Markov models
Concepts, algorithms, and tools for model checking
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Automated reasoning and randomization in separation logic
New results on probabilistic verification : automata, logic and satisfiability
Parameter synthesis in Markov models
Shepherding Hordes of Markov Chains
Gradient descent on parametric Markov Chains
On the Complexity of Reachability in Parametric Markov Decision Processes
Monotonicity in Markov models
Finding Provably Optimal Markov Chains
Verification of multi-objective Markov models
Concepts, algorithms, and tools for model checking
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Automated reasoning and randomization in separation logic
New results on probabilistic verification : automata, logic and satisfiability
Parameter synthesis in Markov models
Shepherding Hordes of Markov Chains
Gradient descent on parametric Markov Chains