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.