AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Talk

From UPPAAL to MIMOS & Back: the Past 30+ Years

Time: Sunday, 2.11

Room: Room C

Authors: Wang Yi