- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Technische Universität Dresden, Dissertation, 2024
- Schlagwort
-
Model Checking
Temporale Logik
Stochastisches Modell
Verifikation
Zeitbehafteter Automat
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2024
- Urheber
-
Wunderlich, Sascha
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bsz:14-qucosa2-937603
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 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
- Wunderlich, Sascha
- Baier, Christel
- Remke, Anne
- Technische Universität Dresden
Entstanden
- 2024
Ähnliche Objekte (12)
Model Checking Concurrent Systems Using Temporal Logics
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics
Weighted Temporal Utility
Quantales and Temporal Logics
Quantales and temporal logics
Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries : Extended Version
Multi-weighted Automata Models and Quantitative Logics
A probabilistic extension of terminological logics
Reduction methods for probabilistic model checking
Model Checking Concurrent Systems Using Temporal Logics
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics
Weighted Temporal Utility
Quantales and Temporal Logics
Quantales and temporal logics
Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries : Extended Version
Multi-weighted Automata Models and Quantitative Logics
A probabilistic extension of terminological logics
Reduction methods for probabilistic model checking
Model Checking Concurrent Systems Using Temporal Logics
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Weighted automata and weighted logics over tree-like structures
Expressiveness and Decidability of Weighted Automata and Weighted Logics
Weighted Temporal Utility
Quantales and Temporal Logics
Quantales and temporal logics
Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries : Extended Version
Multi-weighted Automata Models and Quantitative Logics
A probabilistic extension of terminological logics