Verification of Digital Twins using Classical and Statistical Model Checking

Raghavendran Gunasekaran, Boudewijn Haverkort

With the increasing adoption of digital techniques, the concept of digital twin (DT) has received a widespread attention in both industry and academia. While several definitions ex…