Jordan Peper went all the way to Bengaluru, India, to present our work (in collaboration with UIUC) on unified verification and validation of vision-based autonomy at the International Symposium on Automated Technology for Verification and Analysis (ATVA). Allegedly, this is a hot problem, but the abstraction is quite complex. That’s what it takes — for now.
Citation:
- Jordan Peper, Yan Miao, Sayan Mitra, and Ivan Ruchkin.
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy [Arxiv] [Github].
In Proceedings of the International Symposium on Automated Technology for Verification and Analysis (ATVA), Bangalore, India, 2025.