Hochschulschrift
Temporalised Description Logics for Monitoring Partially Observable Events
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Technische Universität Dresden, Diss., 2014
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden, Dresden
- (wer)
-
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden
- (wann)
-
2014
- Urheber
- Beteiligte Personen und Organisationen
-
Baader, Franz
Wolter, Frank
- URN
-
urn:nbn:de:bsz:14-qucosa-147977
- 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Lippmann, Marcel
- Baader, Franz
- Wolter, Frank
- Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden
Entstanden
- 2014
Ähnliche Objekte (12)
Temporalised description logics for monitoring partially observable events
Partially observable linear systems under dependent noises
Feedback strategies for partially observable stochastic systems
Formal synthesis of partially-observable cyber-physical systems
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
Moments of event observable distributions and many-body correlations
Time- and frequency-domain dynamic spectrum access: learning cyclic medium access patterns in partially observable environments
Observable Reputation Trading
Trust, but verify? When trustworthiness is observable only through (costly) monitoring
Visualizing Trace Variants from Partially Ordered Event Data
Temporalised description logics for monitoring partially observable events
Partially observable linear systems under dependent noises
Feedback strategies for partially observable stochastic systems
Formal synthesis of partially-observable cyber-physical systems
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
Moments of event observable distributions and many-body correlations
Time- and frequency-domain dynamic spectrum access: learning cyclic medium access patterns in partially observable environments
Observable Reputation Trading
Trust, but verify? When trustworthiness is observable only through (costly) monitoring
Visualizing Trace Variants from Partially Ordered Event Data
Temporalised description logics for monitoring partially observable events
Partially observable linear systems under dependent noises
Feedback strategies for partially observable stochastic systems
Formal synthesis of partially-observable cyber-physical systems
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
Moments of event observable distributions and many-body correlations
Time- and frequency-domain dynamic spectrum access: learning cyclic medium access patterns in partially observable environments
Observable Reputation Trading
Trust, but verify? When trustworthiness is observable only through (costly) monitoring