Specification-Driven Video Search via Foundation Models and Formal Verification

Yunhao Yang, Jean-Raphaël Gaglione, Sandeep Chinchali +1

The increasing abundance of video data enables users to search for events of interest, e.g., emergency incidents. Meanwhile, it raises new concerns, such as the need for preserving…