The increasing complexity of software systems, particularly in distributed environments, necessitates verification methods to ensure correctness and reliability. ...

This dissertation explores the application of deep learning and computer vision to enhance object detection for autonomous driving. The research introduces novel approaches to domain adaptation and out-of-distribution ...