Paper Citation Record · LEDGER

Formal Verification of Digital Twins with TLA and Information Leakage Control

As of 15 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 1 inbound Pith citation observation for arXiv:2411.18798.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2411.18798 v1

Coverage vector

measured 61 of 61 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T10:57:24.387702Z

measured 62 of 62 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T19:48:12.926985Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-06T19:48:15.290641Z

Reference resolution

61 of 61 outbound references displayed

verified exact2
verified fuzzy57
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7a27c6ee-2406-49fa-9278-8e4d14870038 · outbound

This paper cites Washington, DC: The National Academies Press, 2024.

Formal Verification of Digital Twins with TLA and Information Leakage Control Washington, DC: The National Academies Press, 2024

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.715950Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a33fb6b9-f7b5-4968-83ac-bd7507d7ea7b · outbound

This paper cites A probabilistic graphical model foundation for enabling predictive digital twins at scale,.

Formal Verification of Digital Twins with TLA and Information Leakage Control A probabilistic graphical model foundation for enabling predictive digital twins at scale,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.699108Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2a28f5a8-cf5a-42df-904f-a37d0628b18b · outbound

This paper cites Design, modeling and implementation of digital twins,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Design, modeling and implementation of digital twins,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.674389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f6b32fc6-c204-43a3-b4e8-872a837a80b3 · outbound

This paper cites A design framework for adaptive digital twins,.

Formal Verification of Digital Twins with TLA and Information Leakage Control A design framework for adaptive digital twins,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.648233Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 64a988f6-8d80-423f-a607-8eff6b522b99 · outbound

This paper cites General purpose digital twin framework using digital shadow and distributed system concepts,.

Formal Verification of Digital Twins with TLA and Information Leakage Control General purpose digital twin framework using digital shadow and distributed system concepts,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.623871Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 91a47fc7-6ee9-4f65-8614-559b1681297b · outbound

This paper cites Towards a digital twin architecture with formal analysis capabilities for learning-enabled autonomous systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Towards a digital twin architecture with formal analysis capabilities for learning-enabled autonomous systems,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.605969Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4a8770ab-323f-49e5-b869-e262e94757bd · outbound

This paper cites Mitra, Verifying Cyber-Physical Systems: A Path to Safe Autonomy.

Formal Verification of Digital Twins with TLA and Information Leakage Control Mitra, Verifying Cyber-Physical Systems: A Path to Safe Autonomy

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.588024Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b4b072ef-aac2-42b9-80f7-603871d48d0a · outbound

This paper cites Alur, Principles of Cyber-Physical Systems.

Formal Verification of Digital Twins with TLA and Information Leakage Control Alur, Principles of Cyber-Physical Systems

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.568741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 35c686d6-08ef-4b8f-978a-e26030361e1c · outbound

This paper cites Reactive sampling-based temporal logic path planning,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Reactive sampling-based temporal logic path planning,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.549168Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3f28288f-6576-48de-82e5-a88529c50683 · outbound

This paper cites Temporal-logic-based reactive mission and motion planning,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Temporal-logic-based reactive mission and motion planning,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.519701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1d18a9da-5c86-4fab-b679-cf80882554ab · outbound

This paper cites an unresolved cited work.

Formal Verification of Digital Twins with TLA and Information Leakage Control Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-12T10:57:25.499189Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ca2c9f58-47c9-4cca-8494-6215876c5df1 · outbound

This paper cites Logic & proofs for cyber-physical systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Logic & proofs for cyber-physical systems,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.475221Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 771a08c9-1a79-4061-a837-c5a3ae6129f2 · outbound

This paper cites Verification of cyberphysical systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Verification of cyberphysical systems,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.445666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 540e95ab-4b4a-4f10-859c-8d43dffbf5f2 · outbound

This paper cites Algebraicsystems: Compositional verification for autonomous system design,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Algebraicsystems: Compositional verification for autonomous system design,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.424260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 12ccd083-d7a8-48fa-8942-997c4f639d52 · outbound

This paper cites Formal methods for autonomous systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Formal methods for autonomous systems,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.400292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 73af682c-d224-4481-bcb5-3fa11e53d349 · outbound

This paper cites Formally verified self-adaptation of an incubator digital twin,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Formally verified self-adaptation of an incubator digital twin,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.368545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b5d77ba2-75db-449b-b876-e0ea79ed185f · outbound

This paper cites Cyber physical systems: Design challenges,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Cyber physical systems: Design challenges,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.348104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0f8eaacf-b6c1-4202-b2f1-f41555ad2ca5 · outbound

This paper cites The past, present and future of cyber-physical systems: A focus on models,.

Formal Verification of Digital Twins with TLA and Information Leakage Control The past, present and future of cyber-physical systems: A focus on models,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.320059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6c247fdc-525b-4619-ae7a-0db859bc3817 · outbound

This paper cites Distributed policy synthesis of multiagent systems with graph temporal logic specifications,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Distributed policy synthesis of multiagent systems with graph temporal logic specifications,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.300144Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 90b005a4-77aa-4284-8501-ee90fe715a18 · outbound

This paper cites Risk and mitigation of nondeterminism in distributed cyber-physical systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Risk and mitigation of nondeterminism in distributed cyber-physical systems,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.280154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 17d4faae-cba4-4936-99b3-ea6b7c43ec91 · outbound

This paper cites Timing predictability and security in safety-critical industrial cyber- physical systems: A position paper,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Timing predictability and security in safety-critical industrial cyber- physical systems: A position paper,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.256018Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 798a7399-91a9-4c2a-be7b-e498ae4b26e1 · outbound

This paper cites Time in cyber-physical systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Time in cyber-physical systems,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.227188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation bebd2ade-aa52-460b-a46b-32855031c6b7 · outbound

This paper cites A survey of probabilistic timing analysis techniques for real-time systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control A survey of probabilistic timing analysis techniques for real-time systems,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.206520Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 161d6ac4-72e0-4713-bc36-6dc162276270 · outbound

This paper cites Statistical verification of autonomous system controllers under timing uncertainties,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Statistical verification of autonomous system controllers under timing uncertainties,

Reference 24

Resolution: verified exact; doi, observed 2026-08-12T10:57:24.441007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation db4f036e-772b-4dd5-b363-745f8ff26180 · outbound

This paper cites A run-time verification method with consideration of uncertainties for cyber–physical systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control A run-time verification method with consideration of uncertainties for cyber–physical systems,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.183036Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0ed863df-a037-4268-b366-947839749b29 · outbound

This paper cites The specification language TLA+,.

Formal Verification of Digital Twins with TLA and Information Leakage Control The specification language TLA+,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.162592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 81227f49-d0c7-4073-aae4-ddc88a2acfd7 · outbound

This paper cites Confidential consortium framework: Secure multiparty applications with confidentiality, integrity, and high availability,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Confidential consortium framework: Secure multiparty applications with confidentiality, integrity, and high availability,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.142233Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 08a26ff2-0711-469b-96ba-8de7f2eea575 · outbound

This paper cites Specification and verification with the TLA+ trifecta: TLC, Apalache, and TLAPS,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Specification and verification with the TLA+ trifecta: TLC, Apalache, and TLAPS,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.125263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c410de46-817d-4a5b-bb15-ada4c60eddb2 · outbound

This paper cites A TLA+ formal specification and verification of a new real-time communication protocol,.

Formal Verification of Digital Twins with TLA and Information Leakage Control A TLA+ formal specification and verification of a new real-time communication protocol,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.106403Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6a7ea69d-bc19-487c-881e-6a50d9766b7e · outbound

This paper cites How Amazon Web Services uses formal methods,.

Formal Verification of Digital Twins with TLA and Information Leakage Control How Amazon Web Services uses formal methods,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.085608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 60798a62-ff40-4a22-880a-9353608385e2 · outbound

This paper cites Predictive digital twin for optimizing patient-specific radiotherapy regimens under uncertainty in high-grade gliomas,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Predictive digital twin for optimizing patient-specific radiotherapy regimens under uncertainty in high-grade gliomas,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.063802Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 778c6b12-f6c9-4a48-96cc-25900afbc09f · outbound

This paper cites A digital twin framework for civil engineering structures,.

Formal Verification of Digital Twins with TLA and Information Leakage Control A digital twin framework for civil engineering structures,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.021638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c040b606-575b-4c49-a3fb-5c3cd5197c0d · outbound

This paper cites Proving the correctness of multiprocess programs,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Proving the correctness of multiprocess programs,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:25.004551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3b7c9046-fba8-402a-8806-c19f87c92299 · outbound

This paper cites The temporal logic of actions,.

Formal Verification of Digital Twins with TLA and Information Leakage Control The temporal logic of actions,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.981552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e0a3c6ee-654a-4c02-aa08-cb8b6e5fa25a · outbound

This paper cites Specifying and verifying systems with TLA+,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Specifying and verifying systems with TLA+,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.958207Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a950bb27-3f09-43c7-9644-23376ebe3532 · outbound

This paper cites Loopy belief propagation: Convergence and effects of message errors,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Loopy belief propagation: Convergence and effects of message errors,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.932087Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a7f00fcc-0a83-4513-89e7-7a494579c31c · outbound

This paper cites A mathematical theory of communication,.

Formal Verification of Digital Twins with TLA and Information Leakage Control A mathematical theory of communication,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.912816Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 503e0c0c-cac1-4ff3-81cd-a45ed7790d82 · outbound

This paper cites Semantic information,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Semantic information,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.895558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f10cf7bf-e11b-41ee-8c75-e7ac8e577b7c · outbound

This paper cites A hardware testbed for dynamic data-driven aerospace digital twins,.

Formal Verification of Digital Twins with TLA and Information Leakage Control A hardware testbed for dynamic data-driven aerospace digital twins,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.878053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d83de675-09f3-4b19-b7ca-50076c67d568 · outbound

This paper cites Goal-directed concept acquisition in requirements elicitation,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Goal-directed concept acquisition in requirements elicitation,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.860838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f1ad7f75-8c70-4fbf-96fa-89406b2012d4 · outbound

This paper cites Goal-directed requirements acquisition,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Goal-directed requirements acquisition,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.844949Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7a753da1-e36a-4a04-954b-097306d04735 · outbound

This paper cites Information flow and noninterference,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Information flow and noninterference,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.827473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 11d2f0af-3027-4a93-80d4-c85588243eab · outbound

This paper cites Noninterference specifications for secure systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Noninterference specifications for secure systems,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.810331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e7133d90-4c00-4f2e-90de-4e0c00ed887e · outbound

This paper cites Noninterference and the composability of security properties,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Noninterference and the composability of security properties,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.793646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d1df9715-8edc-4349-a566-cdf6f8d843c9 · outbound

This paper cites An information-theoretic model for adaptive side-channel attacks,.

Formal Verification of Digital Twins with TLA and Information Leakage Control An information-theoretic model for adaptive side-channel attacks,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.772688Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1a5aa273-d888-4093-86ff-9fbcf03af255 · outbound

This paper cites Ljung, System Identification: Theory for the User , 2nd ed.

Formal Verification of Digital Twins with TLA and Information Leakage Control Ljung, System Identification: Theory for the User , 2nd ed

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.753115Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f5d8429a-69f7-4b20-aa1d-ed586ad495f3 · outbound

This paper cites Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices.

Formal Verification of Digital Twins with TLA and Information Leakage Control Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices

Reference 47

Resolution: verified exact; local_arxiv, observed 2026-08-12T10:57:24.466065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 63760990-ba8d-4223-9586-ca0aeba88020 · outbound

This paper cites Secure-by-construction synthesis of cyber-physical systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Secure-by-construction synthesis of cyber-physical systems,

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.734179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 84798f8b-c177-4d4e-b41a-aadf3cd3a1fb · outbound

This paper cites On system identification of complex systems from finite data,.

Formal Verification of Digital Twins with TLA and Information Leakage Control On system identification of complex systems from finite data,

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.717632Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0f0e5d2b-8256-41fc-880c-3cdaad495265 · outbound

This paper cites Finite time LTI system identification,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Finite time LTI system identification,

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.701979Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 14d40276-14a6-4eca-b055-d64774a38c40 · outbound

This paper cites Closed loop system identification with known feedback: A non asymptotic viewpoint,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Closed loop system identification with known feedback: A non asymptotic viewpoint,

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.684371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3bd5e3b5-0bc7-494f-9b03-17e0c6dfec4c · outbound

This paper cites Model checking and the state explosion problem,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Model checking and the state explosion problem,

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.662601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 11da31c2-c883-4a41-9888-0ae02b85a5da · outbound

This paper cites Local and global fairness in concurrent systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Local and global fairness in concurrent systems,

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.641730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ae73682b-bc87-4494-b8af-57361bed2c2c · outbound

This paper cites Progress, justness, and fairness,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Progress, justness, and fairness,

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.620591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e9104842-19bc-4618-a637-23d10d0e6bca · outbound

This paper cites Formal specification and verification of autonomous robotic systems: A survey,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Formal specification and verification of autonomous robotic systems: A survey,

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.602706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3cce6076-bbad-4282-bcf6-d105b80b2569 · outbound

This paper cites Abstracting and refining robustness for cyber-physical systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Abstracting and refining robustness for cyber-physical systems,

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.586186Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation bcfe955a-620c-43cd-9119-6a5a271b746f · outbound

This paper cites Distributed scalar quantization for computing: High-resolution analysis and extensions,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Distributed scalar quantization for computing: High-resolution analysis and extensions,

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.565848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3a435efa-44fd-4119-8eb0-7a81afc0a073 · outbound

This paper cites Exploiting errors for efficiency: A survey from circuits to applications,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Exploiting errors for efficiency: A survey from circuits to applications,

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.539071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b0b34911-4f01-4de1-b9a2-1ce8bb11a4a1 · outbound

This paper cites an unresolved cited work.

Formal Verification of Digital Twins with TLA and Information Leakage Control Unresolved cited work

Reference 59

Resolution: unresolved; raw_fallback, observed 2026-08-12T10:57:24.520311Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7338d619-c05e-4148-853d-f01b414359c9 · outbound

This paper cites On interprocess communication,.

Formal Verification of Digital Twins with TLA and Information Leakage Control On interprocess communication,

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.503995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2ffdb175-b1c7-40cf-8d00-801c52037a51 · outbound

This paper cites Property-part diagrams: A dependence notation for software systems,.

Formal Verification of Digital Twins with TLA and Information Leakage Control Property-part diagrams: A dependence notation for software systems,

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:57:24.486814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

Observation a18bde46-03d2-4f32-b0e8-c4130473a5c6 · inbound

Testing, Evaluation, Verification and Validation (TEVV) of Digital Twins: A Comprehensive Framework cites this paper.

Testing, Evaluation, Verification and Validation (TEVV) of Digital Twins: A Comprehensive Framework Formal Verification of Digital Twins with TLA and Information Leakage Control

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-06T19:48:15.297903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.