AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Session

30 Session 4 • Sunday, 2.11

Room: Room C
TimeTopicAuthors
16:30UPPAAL in OrbitHolger Hermanns
16:50Common Idioms of UPPAALAnsgar Fehnker, Joel Woodhouse
17:1030 Years of UPPAAL Extensions, Applications and CollaborationsKim G. Larsen