TY  - RPRT
TI  - Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation
AU  - Austin Jones
AU  - Mac Schwager
AU  - Calin Belta
PY  - 2013
UR  - https://arxiv.org/abs/1310.7950
ID  - 1310.7950
ER  -