Model-based Formalization of the Autonomy-to-Human Perception Hand-off

Yash Pant, Bala Kumaravel, Ameesh Shah, Erin Kraemer, Marcell Vazquez-Chanlatte, Kshitij Kulkarni, Bjoern Hartmann, Sanjit A. Seshia

October, 2022