Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy.

Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin

Browse the full ATVA paper archive.