Technical report: Distribution Temporal Logic: combining correctness with quality of estimation
Files
Published version
Date
2013
DOI
Authors
Jones, Austin
Schwager, Mac
Belta, Calin
Version
OA Version
Citation
Austin Jones, Mac Schwager, Calin Belta. 2013. "Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation.." CoRR, Volume abs/1310.7950
Abstract
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.