Ghilotti, Filippo

1. VERDI: VLM-Embedded Reasoning for Autonomous Driving
   2025/05/21 by Bowen Feng, Zhiting Mei, Feng, Bowen +11 · 4 citations
   Computer Science · #Semantic Web and Ontologies #Formal Methods in Verification #Constraint Satisfaction and Optimization