Announcement_6

This past summer, I wrapped up my internship at the USDOT HASS COE and presented our work titled From Language to Logic: A Theoretical Architecture for VLM-Grounded Safe Navigation at ICUAS 2026 in Corfu, Greece! A copy of our paper is available in the conference proceedings here (Note that the site is password protected, UN and PW both ‘ICUAS2026’.) 🎓

We also published our recent work, DRIVE-SAFE: Data-Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation, in Wiley’s Advanced Robotics Research journal. This paper is the second is the second in a two-part series exploring the use of formal methods and temporal specifications to evaluate black-box autonomous mobile robots.📄