Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation
We present a new temporal logic called Distribution Temporal Logic (DTL) defined over predicates of belief states and hidden states of partially observable systems. DTL can express properties involving uncertainty and likelihood that cannot be described by existing logics. A co-safe formulation of DTL is defined and algorithmic procedures are given for monitoring executions of a partially observable Markov decision process with respect to such formulae. A simulation case study of a rescue robotics application outlines our approach.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
Temporal logics over finite traces have recently seen wide application in a number of areas, from business process modelling, monitoring, and mining to planning and decision making. However, real-life dynamic systems con…
Decision MakingTechnical Report: Temporal Aggregate Representations
This technical report extends our work presented in [9] with more experiments. In [9], we tackle long-term video understanding, which requires reasoning from current and past or future observations and raises several fun…
Action AnticipationAction RecognitionVideo UnderstandingLearning to Transfer for Traffic Forecasting via Multi-task Learning
Deep neural networks have demonstrated superior performance in short-term traffic forecasting. However, most existing traffic forecasting systems assume that the training and testing data are drawn from the same underlyi…
BenchmarkingDomain AdaptationMulti-Task LearningCINIC-10 is not ImageNet or CIFAR-10
In this brief technical report we introduce the CINIC-10 dataset as a plug-in extended alternative for CIFAR-10. It was compiled by combining CIFAR-10 with images selected and downsampled from the ImageNet database. We p…
Image ClassificationAsymmetric return rates and wealth distribution influenced by the introduction of technical analysis into a behavioral agent based model
Behavioral Finance has become a challenge to the scientific community. Based on the assumption that behavioral aspects of investors may explain some features of the Stock Market, we propose an agent based model to study …
Decision Making