Valentina Castiglioni
Papers
2
Total Citations
7
H-Index
2
About
Valentina Castiglioni is a rising researcher at the forefront of formal methods and cyber-physical systems, with a sharp focus on the rigorous evaluation of digital twins. Her work addresses a critical challenge: how to guarantee that a virtual replica can reliably influence its physical counterpart in real-time. Castiglioni’s major contribution is the development of a novel framework that leverages **statistical model checking** to quantify a digital twin’s *effectiveness*—its ability to direct the physical system toward safe and optimal behavior. She has pioneered the use of feedback loops and controlled perturbations to stress-test these systems, moving beyond simple simulation to formal, probabilistic guarantees. Her 2024 paper on this methodology has already garnered 5 citations, signaling strong early impact, and she has operationalized her approach in the tool **DT-Stark** (2025). This work is foundational for ensuring the reliability of digital twins in critical domains like autonomous driving and industrial automation. By bridging the gap between abstract formal verification and practical engineering, Castiglioni is establishing the mathematical bedrock for trustworthy, self-adaptive systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2