ISoLA & AISoLA 2026

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

Session

DTE 3 • Monday, 26.10

Room: Room 3
TimeTopicAuthors
14:30Towards Agentic Human-in-the-Loop Model Transformation Rule Creation
15:00Preference-based learning for Fair Digital Twin Engineering
15:30Assessing the Quality of Generative AI Models as Digital Twins of Human Brain Tissue via Formal Methods: A Research Proposal