TY  - RPRT
TI  - Specification-Driven Video Search via Foundation Models and Formal Verification
AU  - Yunhao Yang
AU  - Jean-Raphaël Gaglione
AU  - Sandeep Chinchali
AU  - Ufuk Topcu
PY  - 2023
UR  - https://arxiv.org/abs/2309.10171
ID  - 2309.10171
ER  -