@Inbook{Mitra2025,
author="Mitra, Sayan
and P{\u{a}}s{\u{a}}reanu, Corina
and Prabhakar, Pavithra
and Seshia, Sanjit A.
and Mangal, Ravi
and Li, Yangge
and Watson, Christopher
and Gopinath, Divya
and Yu, Huafeng",
editor="Jansen, Nils
and Junges, Sebastian
and Kaminski, Benjamin Lucien
and Matheja, Christoph
and Noll, Thomas
and Quatmann, Tim
and Stoelinga, Mari{\"e}lle
and Volk, Matthias",
title="Formal Verification Techniques for Vision-Based Autonomous Systems -- A Survey",
bookTitle="Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III",
year="2025",
publisher="Springer Nature Switzerland",
address="Cham",
pages="89--108",
isbn="978-3-031-75778-5",
doi="10.1007/978-3-031-75778-5_5",
url="https://doi.org/10.1007/978-3-031-75778-5_5"
}