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 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.πŸ›£οΈ