Innovative and Challenging Verification Environments for AI-enabled Autonomous Systems
Beschreibung
Dieses Projekt konzentriert sich auf die Entwicklung innovativer Methoden zur Verifizierung KI-gestützter autonomer Systeme unter Verwendung von
- Artificial Life (ALife),
- Large Language Models (LLMs) und
- Diffusion Models.
Durch die Schaffung adaptiver und sich weiterentwickelnder Testumgebungen adressiert die Forschung den dringenden Bedarf an robusten, vertrauenswürdigen und sicheren KI-Systemen für risikoreiche Anwendungen in unterschiedlichen Branchen sowie in komplexen realen Umgebungen.
Eckdaten
Projektleitung
Projektteam
Carmen Frischknecht-Gruber, Jenestin Anton Anthonipillai, Prof. Dr. Andreas Fischer (Universität Freiburg)
Projektpartner
Universität Freiburg
Projektstatus
laufend, gestartet 04/2025
Institut/Zentrum
Institut für Angewandte Mathematik und Physik (IAMP)
Drittmittelgeber
Digitalisierungsinitiative der Zürcher Hochschulen DIZH / DIZH Fellows 2026
Projektvolumen
300'000 CHF
School of Engineering
Technikumstrasse 9
8400 Winterthur