External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy

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]

Authors

Jordan Peper

This author has not been identified. Look up 'Jordan Peper' in Google

Yan Miao

This author has not been identified. Look up 'Yan Miao' in Google

Sayan Mitra

This author has not been identified. It may be one of the following persons: Look up 'Sayan Mitra' in Google

Ivan Ruchkin

This author has not been identified. Look up 'Ivan Ruchkin' in Google
runs on