TY  - RPRT
TI  - Elaborating on Learned Demonstrations with Temporal Logic Specifications
AU  - Craig Innes
AU  - Subramanian Ramamoorthy
PY  - 2020
UR  - https://arxiv.org/abs/2002.00784
ID  - 2002.00784
ER  -