TY  - RPRT
TI  - Robustness-Driven Exploration with Probabilistic Metric Temporal Logic
AU  - Xiaotian Liu
AU  - Pengyi Shi
AU  - Sarra Alqahtani
AU  - Victor Paúl Pauca
AU  - Miles Silman
PY  - 2019
UR  - https://arxiv.org/abs/1912.01704
ID  - 1912.01704
ER  -