AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Talk

UPPAAL in the Loop: Safe Controlling of Autonomous Systems via Model Checking

Time: Sunday, 2.11

Room: Room C

Authors: Rong Gu, Muhammad Naeem, Cristina Seceleanu