ISoLA & AISoLA 2026

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

Talk

Compliant-by-Construction Hybrid Medical AI Workflows via Located Task Graphs

Time: Tuesday, 27.10

Room: Room 2

Authors: Vincenzo Ciancia, Emilio Tuosto