Caio Batista de Melo Melo, C. B., Ashrafiamiri, M., Seo, M., Kurdahi, F., & Dutt, N. (2024). SAFER: Safety Assurances for Emergent Behavior. IEEE DESIGN & TEST, 41(4), 17–25. https://doi.org/10.1109/MDAT.2023.3324887