Monografie
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Diss., 2013
- Identifier
-
1045023493
Thema
Markov-Prozess; Atemwegskrankheit; Atemnot; Hochschulschrift
Beteiligte Personen und Organisationen
Křetínský, Jan
Esparza Estaun, Francisco Javier
Katoen, Joost-Pieter
Esparza Estaun, Francisco Javier
Katoen, Joost-Pieter
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
- Křetínský, Jan
- Esparza Estaun, Francisco Javier
- Katoen, Joost-Pieter
Ähnliche Objekte (12)
Parameter synthesis in Markov models
A symbolic approach to the state graph based analysis of high-level Markov reward models = Ein symbolischer Ansatz für die Zustandsgraph-basierte Analyse von hochsprachlichen Markov-Reward-Modellen
Verification of multi-objective Markov models
Verification of Reachability Properties and Termination for Probabilistic Systems
Verification of pointer programs
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Counterexamples in probabilistic verification
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Methods for the Diagnosis and Automatic Repair of Software Systems
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Quantitative and structural analysis of real-time and probabilistic systems
An implementation for algorithmic game solving and its applications in system synthesis
Parameter synthesis in Markov models
A symbolic approach to the state graph based analysis of high-level Markov reward models = Ein symbolischer Ansatz für die Zustandsgraph-basierte Analyse von hochsprachlichen Markov-Reward-Modellen
Verification of multi-objective Markov models
Verification of Reachability Properties and Termination for Probabilistic Systems
Verification of pointer programs
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Counterexamples in probabilistic verification
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Methods for the Diagnosis and Automatic Repair of Software Systems
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Quantitative and structural analysis of real-time and probabilistic systems
An implementation for algorithmic game solving and its applications in system synthesis
Parameter synthesis in Markov models
A symbolic approach to the state graph based analysis of high-level Markov reward models = Ein symbolischer Ansatz für die Zustandsgraph-basierte Analyse von hochsprachlichen Markov-Reward-Modellen
Verification of multi-objective Markov models
Verification of Reachability Properties and Termination for Probabilistic Systems
Verification of pointer programs
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Counterexamples in probabilistic verification
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Methods for the Diagnosis and Automatic Repair of Software Systems
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Quantitative and structural analysis of real-time and probabilistic systems