TY  - RPRT
TI  - Visual Model Checking: Graph-Based Inference of Visual Routines for Image Retrieval
AU  - Adrià Molina
AU  - Oriol Ramos Terrades
AU  - Josep Lladós
PY  - 2026
UR  - https://arxiv.org/abs/2602.17386
ID  - 2602.17386
ER  -