
Control and Autonomy Talk about Data-Driven Safety Verification with Amr Alanwar
4 April 2025
We are pleased to invite you to the next session of the Control and Autonomy Talk (CAT) series, with a special guest: Amr Alanwar, Assistant Professor at TU Munich.
He will visit us to give an exciting seminar:
Title: “Data-Driven Safety Verification Using Reachability Analysis and Its Applications to LLMs”
Main points:
Algorithms for developing data-driven reachability analysis from input/output data with formal guarantees
Application to LLM-driven robots for safety guarantees to demonstrate effectiveness
📅 Date & Time: April 07, 10:30 am
📍 Location: LRT8 Seminar Room (Room 2488, Building 35)
We look forward to your participation!