#Verification

Neuro-Symbolic Approaches for Enhanced Verification in Autonomous Systems

The integration of neuro-symbolic methods aims to address challenges in the verification and validation of autonomous systems, particularly in anomaly classification and scalability.