Akintunde, M., Young, V., Yazdanpanah, V., Salehi Fathabadi, A., Leonard, P., Butler, M., Moreau, L., 2023. Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective, in: . ACM.. https://doi.org/10.1145/3597512.3599719