TY  - RPRT
TI  - Learning Task Specifications from Demonstrations
AU  - Marcell Vazquez-Chanlatte
AU  - Susmit Jha
AU  - Ashish Tiwari
AU  - Mark K. Ho
AU  - Sanjit A. Seshia
PY  - 2018
UR  - https://arxiv.org/abs/1710.03875
ID  - 1710.03875
ER  -