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]
@inproceedings{PeperMMR25,
title = {Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy},
author = {Jordan Peper and Yan Miao and Sayan Mitra and Ivan Ruchkin},
year = {2025},
doi = {10.1007/978-3-032-08707-2_11},
url = {https://doi.org/10.1007/978-3-032-08707-2_11},
researchr = {https://researchr.org/publication/PeperMMR25},
cites = {0},
citedby = {0},
pages = {231-259},
booktitle = {Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings},
editor = {Meenakshi D'Souza and Raghavan Komondoor and B. Srivathsan},
volume = {16145},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-032-08707-2},
}