Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia. Formal Policy Learning from Demonstrations for Reachability Properties. In International Conference on Robotics and Automation, ICRA 2019, Montreal, QC, Canada, May 20-24, 2019. pages 6037-6043, IEEE, 2019. [doi]
Abstract is missing.