2022
Learning Monitorable Operational Design Domains for Assured Autonomy.
[DOI]
Hazem Torfah
,
Carol Xie
,
Sebastian Junges
,
Marcell Vazquez-Chanlatte
,
Sanjit A. Seshia
Proceedings of the Automated Technology for Verification and Analysis, 2022