Announcement_5

It’s been a busy spring - three quick announcements below!

  1. We presented our work at the (High Confidence Software & Systems (HCSS) Conference 2026)[https://sos-vo.org/group/hcss_conference/2026-posters] this month! 👩🏻‍🏫

  2. Our paper “From Language to Logic: A Theoretical Architecture for VLM-Grounded Safe Navigation” was accepted to ICUAS 2026 - come see our talk at the Testing and Evaluation: Autonomy II track on Thursday, June 18th! 🛩️

  3. Our research made the UMD Aerospace Engineering Spring 2026 newsletter! Read more about it (here.)[https://eng.umd.edu/engineering-ai-public-good/improving-self-driving-vehicles-via-mario-kart-simulations]🛣️