ISoLA & AISoLA 2026

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

Talk

Constitutive vs. Corrective: A Causal Taxonomy of Human Runtime Involvement in AI Systems

Time: Tuesday, 27.10

Room: Room 1

Authors: Kevin Baum, Johann Laux