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!