Our work in this area centers on the safety, validation, and intelligence of autonomous systems, particularly autonomous vehicles. We explore methods for systematically testing autonomous driving systems against specifications and real-world regulations, such as traffic laws. Research includes generating realistic and challenging safety-critical scenarios for testing, developing robust simulation environments, and creating techniques to ensure autonomous systems operate reliably and safely in complex, dynamic environments.