Digital twin correctness can be model-checked by translating its probabilistic graphical model into a TLA+ state machine with augmented communication channels and statistically bounded information leakage.
Washington, DC: The National Academies Press, 2024
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Formal Verification of Digital Twins with TLA and Information Leakage Control
Digital twin correctness can be model-checked by translating its probabilistic graphical model into a TLA+ state machine with augmented communication channels and statistically bounded information leakage.