Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin. Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. In Meenakshi D'Souza, Raghavan Komondoor, B. Srivathsan, editors, Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings. Volume 16145 of Lecture Notes in Computer Science, pages 231-259, Springer, 2025. [doi]
Abstract is missing.