@misc{indiciae598e5293b00c,
  title = {Formal Policy Learning from Demonstrations for Reachability Properties},
  author = {Hadi Ravanbakhsh and Sriram Sankaranarayanan and Sanjit A. Seshia},
  year = {2019},
  url = {https://arxiv.org/abs/1903.00589},
  note = {Source identifier: 1903.00589}
}