Summary
Autonomous systems — such as self-driving cars, robotic assistants in factories, and AI-powered medical tools — are becoming increasingly common in everyday life. These systems are expected to operate safely and reliably, even as their internal components grow more complex. Ensuring this safety is a growing challenge, especially when these systems behave in ways that are hard to predict or model. Traditional approaches based on formal methods can mathematically prove that a system is safe, but these methods often struggle with highly complex or partially black-box systems. This project conside
