@misc{indiciae223cb59d4441,
  title = {Safe Human-Interactive Control via Shielding},
  author = {Jeevana Priya Inala and Yecheng Jason Ma and Osbert Bastani and Xin Zhang and Armando Solar-Lezama},
  year = {2021},
  url = {https://arxiv.org/abs/2110.05440},
  note = {Source identifier: 2110.05440}
}