Specification-Driven Video Search via Foundation Models and Formal Verification.

Yunhao Yang Jean-Raphaël Gaglione Sandeep Chinchali Ufuk Topcu

Published in: CoRR (2023)

Keyphrases

formal verification
video search
model checking
video retrieval
probabilistic model
model checker
search engine
multimedia
domain specific
high level
image retrieval
relevance feedback
language model
temporal logic