Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey
Published in Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of his 60th Birthday, 2024, 2024
Recommended citation: Sayan Mitra, Corina Păsăreanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu. "Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey." In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of his 60th Birthday, 2024.
Download Paper