12 citations · 32 across the 7 of their papers we have counts for
1 paper · 2 filters
Luwen Huang, Lav R. Varshney, Karen E. Willcox
Verifying the correctness of a digital twin provides a formal guarantee that the digital twin operates as intended. Digital twin verification is challenging due to the presence of…