Summary
Modern cyber-physical systems — such as autonomous vehicles, medical devices, and power grid controllers — must operate safely despite uncertainty in their environments, models, and decision-making components. A key challenge in ensuring their safety is predicting all possible future behaviors of these systems to verify that unsafe conditions are avoided. Doing so, in practice, allows us to encounter unforeseen and potentially dangerous behaviors in these systems. This problem, known as reachability analysis, is central to the design and certification of safety-critical systems. However, exist
