TY  - RPRT
TI  - Safe Human-Interactive Control via Shielding
AU  - Jeevana Priya Inala
AU  - Yecheng Jason Ma
AU  - Osbert Bastani
AU  - Xin Zhang
AU  - Armando Solar-Lezama
PY  - 2021
UR  - https://arxiv.org/abs/2110.05440
ID  - 2110.05440
ER  -