Control and Autonomy Talk über Data-Driven Safety Verification mit Amr Alanwar

Wir freuen uns, Sie zur nächsten Sitzung der Control and Autonomy Talk (CAT) Reihe einzuladen, mit einem besonderen Gast: Amr Alanwar, Assistenz-Professur an der TU München.

Er wird uns besuchen, um ein spannendes Seminar zu halten:

Titel: „Data-Driven Safety Verification Using Reachability Analysis and Its Applications to LLMs“

Hauptpunkte: 

• Algorithmen für die Entwicklung data-driven Erreichbarkeitsanalysen aus input-/output Daten mit formalen Garantien
• Anwendung auf LLM-gesteuerte Roboter für Sicherheitsgarantien zur Darstellung der Wirksamkeit

📅 Datum & Uhrzeit: 07. April, 10:30 Uhr

📍 Ort: LRT8 Seminarraum (Raum 2488, Gebäude 35)

Wir freuen uns auf Ihre Teilnahme!