Hochschulschrift
Temporalised Description Logics for Monitoring Partially Observable Events
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dresden, Technische Universität Dresden, Diss., 2014
- Event
-
Veröffentlichung
- (where)
-
Dresden, Dresden
- (who)
-
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden
- (when)
-
2014
- Creator
- Contributor
-
Baader, Franz
Wolter, Frank
- URN
-
urn:nbn:de:bsz:14-qucosa-147977
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Lippmann, Marcel
- Baader, Franz
- Wolter, Frank
- Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden
Time of origin
- 2014
Other Objects (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
Trust, but verify? When trustworthiness is observable only through (costly) monitoring
Observable Reputation Trading
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
Trust, but verify? When trustworthiness is observable only through (costly) monitoring
Observable Reputation Trading
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
Trust, but verify? When trustworthiness is observable only through (costly) monitoring
Observable Reputation Trading