Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations.

Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini

Browse the full FMICS paper archive.