Learning Monitorable Operational Design Domains for Assured Autonomy. - Hazem Torfah; Carol Xie; Sebastian Junges; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (ATVA, 2022)