Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin: Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. ATVA 2025: 231-259