Innovative and Challenging Verification Environments for AI-enabled Autonomous Systems
Description
This project focuses on the development of innovative methods for verifying AI-enabled autonomous systems using
- Artificial Life (ALife),
- Large Language Models (LLMs) and
- diffusion models.
By creating adaptive, evolving test environments, the research addresses the critical need for robust, trustworthy and safe AI systems in high-risk applications across industries in complex real-world settings
Key data
Projectlead
Project team
Carmen Frischknecht-Gruber, Prof. Dr. Andreas Fischer (Universität Freiburg)
Project partners
Universität Freiburg
Project status
ongoing, started 04/2025
Institute/Centre
Institute of Applied Mathematics and Physics (IAMP)
Funding partner
ZHAW digital
Project budget
300'000 CHF
Technikumstrasse 9
8400 Winterthur