Formal Policy Learning from Demonstrations for Reachability Properties.

Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia

Browse the full ICRA paper archive.