Technical report: Distribution Temporal Logic: combining correctness with quality of estimation
MetadataShow full item record
Citation (published version)Austin Jones, Mac Schwager, Calin Belta. 2013. "Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation.." CoRR, Volume abs/1310.7950
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.