ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Talk

Robust Integration of AI-based Decision Making into Human-Cyber-Physical Systems

Time: Friday, 30.10

Room: Room 2

Authors: Janis Kröger, Martin Fränzle