news

May 11, 2026 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]🛣️
Feb 20, 2026 I am excited to join the Department of Transportation Highly Automated Systemss Safety Center of Excellence (DOT HASS COE) this coming summer as a DOTSI intern!
Oct 16, 2025 The Xu Research Group participated in the AI for Good Media Day at UMD College Park!
Oct 09, 2025 MarylandToday wrote an article about our research! Check it out here.
May 14, 2025 We presented our work, titled A Framework for Black-Box Controller Design to Automatically Satisfy Specifications Using Signal Temporal Logic, a ICUAS 2025 in Charlotte, NC!