TY  - RPRT
TI  - Formal Policy Learning from Demonstrations for Reachability Properties
AU  - Hadi Ravanbakhsh
AU  - Sriram Sankaranarayanan
AU  - Sanjit A. Seshia
PY  - 2019
UR  - https://arxiv.org/abs/1903.00589
ID  - 1903.00589
ER  -