1 paper · 1 filter
Muhammad Naeem, Cristina Seceleanu
Digital twins are becoming powerful tools in industrial applications, offering virtual representations of cyber-physical systems. However, verification of these models remains a si…