We gratefully acknowledge support from
the Simons Foundation and member institutions.

Osbert Bastani is qualified to endorse.

Safe Human-Interactive Control via Shielding

Osbert Bastani: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CR, cs.CV, cs.CY, cs.LG, cs.MA, cs.NE, cs.PL, cs.RO, cs.SE, stat.ML. (why?)

Jeevana Priya Inala, Yecheng Jason Ma, Xin Zhang and Armando Solar-Lezama are not registered as owners of this paper. (why?)