For most technical systems, the two dominant approaches for assessing safety are (1) formal analysis of the system's properties and (2) exhaustively investigating the system's safety within its domain [124, 125, 126, 41]. As with other complex technological systems, AI systems pose challenges due to their complexity and unpredictability [127]; their socio-technical entanglement; and challenges in methods and data access [128, 129].