{"as_of":"2026-08-15T08:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:37395b01295da691fbe82e951552c01e0bb1e74e264cfe8d6d9fd28433b67b44","coverage":[{"denominator":61,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":61,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T10:57:24.387702Z","state":"measured"},{"denominator":62,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":62,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T19:48:12.926985Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T19:48:15.290641Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"cited_work":{"arxiv_id":"2411.18798","doi":null,"metadata_source":"pith","pith_arxiv_id":"2411.18798","snapshot_observed_at":"2026-08-06T19:48:15.290641Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","venue":"cs.CR","work_id":"1d9bb053-9341-4749-9e04-14c6cc1d1b07","year":2024},"citing_paper":{"arxiv_id":"2507.04555","last_updated":"2025-07-06T22:12:06Z","snapshot_observed_at":"2026-08-06T19:42:43.597523Z","submitted_at":"2025-07-06T22:12:06Z","title":"Testing, Evaluation, Verification and Validation (TEVV) of Digital Twins: A Comprehensive Framework","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T19:48:12.926985Z"},"links":{"cited_paper":"/paper/2411.18798","citing_paper":"/paper/2507.04555"},"observation_digest":"sha256:8acfbd6b301a0f0d9907c59123ab954f723ef278e9c45bb669b097aada5cd8ff","observation_id":"a18bde46-03d2-4f32-b0e8-c4130473a5c6","resolution":{"observed_at":"2026-08-06T19:48:15.297903Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2411.18798/citation-record","integrity":"/paper/2411.18798/integrity","json":"/paper/2411.18798/citation-record.json","paper":"/paper/2411.18798"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.710875Z","title":"Washington, DC: The National Academies Press, 2024","venue":null,"work_id":"80dc269a-58bb-40c9-94d7-bb87dea0136e","year":2024},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.019588Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:3c5739a2edbd00c4145da8e59e885a5afdd5407422283bf025e53129a4bc97f6","observation_id":"7a27c6ee-2406-49fa-9278-8e4d14870038","resolution":{"observed_at":"2026-08-12T10:57:25.715950Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.690066Z","title":"A probabilistic graphical model foundation for enabling predictive digital twins at scale,","venue":null,"work_id":"b96e3cb9-3ac7-493b-b51c-1425ba551c3a","year":2021},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.028116Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:14a1e1db563f428fcf54f65348f53bbc3c4f393b40247ddf9f7ecb5aa5b1414b","observation_id":"a33fb6b9-f7b5-4968-83ac-bd7507d7ea7b","resolution":{"observed_at":"2026-08-12T10:57:25.699108Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.664748Z","title":"Design, modeling and implementation of digital twins,","venue":null,"work_id":"e18d3eee-5372-4225-9834-5d527801ec65","year":2022},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.034126Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:ced7a691b5a15d899b6c9d36c954930b2b800a72b0b847d4c2ed4b0811c04885","observation_id":"2a28f5a8-cf5a-42df-904f-a37d0628b18b","resolution":{"observed_at":"2026-08-12T10:57:25.674389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.636097Z","title":"A design framework for adaptive digital twins,","venue":null,"work_id":"e88dd1a5-9599-45c1-bb7f-45c3579210ff","year":2020},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.040091Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:dbbb02f6e07ba53b5b1daeb4dcf73457c91c99f59221e03e20736c0b40238b6a","observation_id":"f6b32fc6-c204-43a3-b4e8-872a837a80b3","resolution":{"observed_at":"2026-08-12T10:57:25.648233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.618036Z","title":"General purpose digital twin framework using digital shadow and distributed system concepts,","venue":null,"work_id":"03cabfff-2159-41e9-bed1-eaa14bf28779","year":2023},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.048464Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:190d99af05262d62b87a0bb5103c027d388ff4044b33b0d8652748c8b906e74e","observation_id":"64a988f6-8d80-423f-a607-8eff6b522b99","resolution":{"observed_at":"2026-08-12T10:57:25.623871Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.600090Z","title":"Towards a digital twin architecture with formal analysis capabilities for learning-enabled autonomous systems,","venue":null,"work_id":"8849dee2-a56c-424d-8cd6-99d5f0e53e47","year":2022},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.055105Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:4e811bd9f6dfa896862cdaeef0e4bc8aad94651f8aa6bd7473a01b24c92b8a0d","observation_id":"91a47fc7-6ee9-4f65-8614-559b1681297b","resolution":{"observed_at":"2026-08-12T10:57:25.605969Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.581356Z","title":"Mitra, Verifying Cyber-Physical Systems: A Path to Safe Autonomy","venue":null,"work_id":"0585675a-0c28-46b5-949d-4a4b6460f9a2","year":2021},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.061853Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:485fefe3c4e9c1e34b8ac28a9ba08215031e06e1ea16e8a43a05aca2dfa2d71f","observation_id":"4a8770ab-323f-49e5-b869-e262e94757bd","resolution":{"observed_at":"2026-08-12T10:57:25.588024Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.562115Z","title":"Alur, Principles of Cyber-Physical Systems","venue":null,"work_id":"85a94ef3-7d91-4680-ba1e-549351cd3fdd","year":2015},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.071735Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:dc4703a8fc67ee5a1189e6c784f2b8ce8d5038c6db8316367b91af2dcb9832f0","observation_id":"b4b072ef-aac2-42b9-80f7-603871d48d0a","resolution":{"observed_at":"2026-08-12T10:57:25.568741Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.540054Z","title":"Reactive sampling-based temporal logic path planning,","venue":null,"work_id":"4d67a990-314c-4478-bcf6-32e0d6aa468c","year":2014},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.077570Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:a862fe90b3691ad3dd848f56c7497878b52d7c3cfc2ef47263afe73f8b5797e8","observation_id":"35c686d6-08ef-4b8f-978a-e26030361e1c","resolution":{"observed_at":"2026-08-12T10:57:25.549168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.511943Z","title":"Temporal-logic-based reactive mission and motion planning,","venue":null,"work_id":"f58b3aa9-a147-462b-9eed-bdf35a87aed9","year":2009},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.082678Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:d14a11ab79ea293d989b6c29e42bc623d2993120d9d4b3fbc4c4fa530ddd94de","observation_id":"3f28288f-6576-48de-82e5-a88529c50683","resolution":{"observed_at":"2026-08-12T10:57:25.519701Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.493383Z","title":null,"venue":null,"work_id":"e6f7a7bd-078c-4aff-852a-e00053e71ea5","year":2017},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.087875Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:4afce320ae59cd7db24f662169a5336a28f7edda5866d356b64654270d1eb3a2","observation_id":"1d18a9da-5c86-4fab-b679-cf80882554ab","resolution":{"observed_at":"2026-08-12T10:57:25.499189Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.463419Z","title":"Logic & proofs for cyber-physical systems,","venue":null,"work_id":"bc22be98-1441-49aa-a636-f8089b9dabb9","year":2016},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.095305Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:ae2077aba53fcf1ebf71cea69c6ba8748dc16eb489c84aadb8dfcf87c7481bc4","observation_id":"ca2c9f58-47c9-4cca-8494-6215876c5df1","resolution":{"observed_at":"2026-08-12T10:57:25.475221Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.439278Z","title":"Verification of cyberphysical systems,","venue":null,"work_id":"e9165c4e-a264-42fe-b66a-e63fa907fdf5","year":2020},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.100920Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:905b20a4067373508a0376c618130698e5460ce6c5b5c612e9f781b4d90c12c4","observation_id":"771a08c9-1a79-4061-a837-c5a3ae6129f2","resolution":{"observed_at":"2026-08-12T10:57:25.445666Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.417785Z","title":"Algebraicsystems: Compositional verification for autonomous system design,","venue":null,"work_id":"664d9948-39c4-4a76-9d6b-5b5dea60693b","year":2022},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.105890Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:1edbeb950356e0a3281acbf59b177581d45fa3c2c1141ab5b56158728225f606","observation_id":"540e95ab-4b4a-4f10-859c-8d43dffbf5f2","resolution":{"observed_at":"2026-08-12T10:57:25.424260Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.391701Z","title":"Formal methods for autonomous systems,","venue":null,"work_id":"6e30412c-aae2-4dd7-b035-7127cedf8552","year":2023},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.111800Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:13ff09ab968958269eb6e9696d1c5c235fb8c680bb466e3131cf48ba2cb7a04d","observation_id":"12ccd083-d7a8-48fa-8942-997c4f639d52","resolution":{"observed_at":"2026-08-12T10:57:25.400292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.362444Z","title":"Formally verified self-adaptation of an incubator digital twin,","venue":null,"work_id":"c2e27e0f-7a28-4e2c-a32a-f6d69fd9b129","year":2022},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.117860Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:92ce9159b3a4ce732451b91304b864a35d9a3ff953a1735cd28ea833ffe5680d","observation_id":"73af682c-d224-4481-bcb5-3fa11e53d349","resolution":{"observed_at":"2026-08-12T10:57:25.368545Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.342756Z","title":"Cyber physical systems: Design challenges,","venue":null,"work_id":"e564e7fc-28b5-44a3-bf62-7e1f08e66f92","year":2008},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.123269Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:4f71623ca7444554c0ac2529aa5156f02940eda6e0b18f18d80340ce15acad15","observation_id":"b5d77ba2-75db-449b-b876-e0ea79ed185f","resolution":{"observed_at":"2026-08-12T10:57:25.348104Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.313226Z","title":"The past, present and future of cyber-physical systems: A focus on models,","venue":null,"work_id":"d97929fb-1bbd-4e48-bb96-88f41cb27819","year":2015},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.128601Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:c0a76c6119b66483a4fc2bab1761864b51b1d028ed430b7e060263aca5480a95","observation_id":"0f8eaacf-b6c1-4202-b2f1-f41555ad2ca5","resolution":{"observed_at":"2026-08-12T10:57:25.320059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.293033Z","title":"Distributed policy synthesis of multiagent systems with graph temporal logic specifications,","venue":null,"work_id":"1172342a-8103-4581-8384-b88ae1827e6f","year":2021},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.133453Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:20ac03c75f4e7d83fe2c3431518cf0da520249faf853364293e84492616d32c5","observation_id":"6c247fdc-525b-4619-ae7a-0db859bc3817","resolution":{"observed_at":"2026-08-12T10:57:25.300144Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.273842Z","title":"Risk and mitigation of nondeterminism in distributed cyber-physical systems,","venue":null,"work_id":"6c398695-a983-4829-9abc-9e44b05b556a","year":2023},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.139037Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:1a91de605525c5c0cdddea5a2c345e0f7a91affe40f2cc5b3e58881428f77bca","observation_id":"90b005a4-77aa-4284-8501-ee90fe715a18","resolution":{"observed_at":"2026-08-12T10:57:25.280154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.248976Z","title":"Timing predictability and security in safety-critical industrial cyber- physical systems: A position paper,","venue":null,"work_id":"79daf107-c38f-4ef9-8dbc-c9ab57cbffb4","year":2020},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.145246Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:3f192950936fbe5df41e35b776b8233dd0b63de1817fbd5584ab5ef130f9c0bd","observation_id":"17d4faae-cba4-4936-99b3-ea6b7c43ec91","resolution":{"observed_at":"2026-08-12T10:57:25.256018Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.220333Z","title":"Time in cyber-physical systems,","venue":null,"work_id":"b2db1a79-8694-48aa-9663-3078da77d79a","year":2016},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.151346Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:abf4700403698a8d69c3cd72c180b5f53b13bef2ca0ef87dede23a201f7360ae","observation_id":"798a7399-91a9-4c2a-be7b-e498ae4b26e1","resolution":{"observed_at":"2026-08-12T10:57:25.227188Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.199557Z","title":"A survey of probabilistic timing analysis techniques for real-time systems,","venue":null,"work_id":"efb743b7-7533-49f6-b8de-f39b3e6ac8c2","year":2019},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.158397Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:9deb4a10b8d01b421209564f3b75250daeebd4f04238567e01813dec7a15d104","observation_id":"bebd2ade-aa52-460b-a46b-32855031c6b7","resolution":{"observed_at":"2026-08-12T10:57:25.206520Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11241-023-09417-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.432438Z","title":"Statistical verification of autonomous system controllers under timing uncertainties,","venue":null,"work_id":"42ccde89-e2fb-484a-a57b-40a51bc5a11f","year":2024},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.163640Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:7407f07384de352a41e0282eb45169d22e477b7961c754806e0a11c03c5a12c9","observation_id":"161d6ac4-72e0-4713-bc36-6dc162276270","resolution":{"observed_at":"2026-08-12T10:57:24.441007Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.176643Z","title":"A run-time verification method with consideration of uncertainties for cyber–physical systems,","venue":null,"work_id":"3b444eb9-a13f-49dc-8170-48361eae6561","year":2023},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.168903Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:879b1292a9d4c08ed55584d39a6794f170356c71448116ea013942f20ab1b7cd","observation_id":"db4f036e-772b-4dd5-b363-745f8ff26180","resolution":{"observed_at":"2026-08-12T10:57:25.183036Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.156536Z","title":"The specification language TLA+,","venue":null,"work_id":"be5146a1-a9e9-4ee8-81a1-86af9f03fa2c","year":2008},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.174147Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:2beb3b2a2bf12cc189f38cf0351268da62014f54f828742b4666a3d7b5f52fa9","observation_id":"0ed863df-a037-4268-b366-947839749b29","resolution":{"observed_at":"2026-08-12T10:57:25.162592Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.136426Z","title":"Confidential consortium framework: Secure multiparty applications with confidentiality, integrity, and high availability,","venue":null,"work_id":"b6312634-2072-4b72-ae4e-b8ebf189cdbc","year":2023},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.179351Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:5f2fddc68521917154212c39e989a4e6732b215be4c162a8b619c00eefcdb1aa","observation_id":"81227f49-d0c7-4073-aae4-ddc88a2acfd7","resolution":{"observed_at":"2026-08-12T10:57:25.142233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.119820Z","title":"Specification and verification with the TLA+ trifecta: TLC, Apalache, and TLAPS,","venue":null,"work_id":"92136d14-6f33-4ab4-8bd8-1ea9b998ea85","year":2022},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.184942Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:6d9eea407667668d97cad6ac539a88ddad50a00223bab558b3907865aa259978","observation_id":"08a26ff2-0711-469b-96ba-8de7f2eea575","resolution":{"observed_at":"2026-08-12T10:57:25.125263Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.097461Z","title":"A TLA+ formal specification and verification of a new real-time communication protocol,","venue":null,"work_id":"5992de4b-cabd-4645-a28d-f6d7e9dac333","year":2009},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.189857Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:a4a14a93741dc6f448a9c3d3afdd1ff1688e53a1156fa22763b68a4626db8d2f","observation_id":"c410de46-817d-4a5b-bb15-ada4c60eddb2","resolution":{"observed_at":"2026-08-12T10:57:25.106403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.080648Z","title":"How Amazon Web Services uses formal methods,","venue":null,"work_id":"b22cf37a-6569-45f3-86d0-f2a21aba9524","year":2015},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.196084Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:b9183c74d5a003f1c911eaec6a96e301f8e035b714f2d1a837c6db51ce338392","observation_id":"6a7ea69d-bc19-487c-881e-6a50d9766b7e","resolution":{"observed_at":"2026-08-12T10:57:25.085608Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.056204Z","title":"Predictive digital twin for optimizing patient-specific radiotherapy regimens under uncertainty in high-grade gliomas,","venue":null,"work_id":"6112daa8-9f96-4ddf-8cbf-266af41e2874","year":2023},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.201751Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:f09c8dbaeb0a76104304fb96c40aababf544f88f1e1eabde54afeed723fce4ff","observation_id":"60798a62-ff40-4a22-880a-9353608385e2","resolution":{"observed_at":"2026-08-12T10:57:25.063802Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:25.015049Z","title":"A digital twin framework for civil engineering structures,","venue":null,"work_id":"a16ab5c9-fcc7-4dc7-bd80-d0ca0ffbd8ae","year":2024},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.209358Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:178510d169f5ab2d6eea2510b26c7b57dd212cc0d43e35098d471411931a9211","observation_id":"778c6b12-f6c9-4a48-96cc-25900afbc09f","resolution":{"observed_at":"2026-08-12T10:57:25.021638Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.998379Z","title":"Proving the correctness of multiprocess programs,","venue":null,"work_id":"17f80e69-7e90-4365-8312-bfe7b19c5fdf","year":1977},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.215520Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:6dd41bb36c8edd1eec5ee1c847571072757d83cf4a2b3169e68b510c300ccd2f","observation_id":"c040b606-575b-4c49-a3fb-5c3cd5197c0d","resolution":{"observed_at":"2026-08-12T10:57:25.004551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.974949Z","title":"The temporal logic of actions,","venue":null,"work_id":"306d9044-df30-4187-a56f-b573a67faad9","year":1994},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.221179Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:dc6a4d54b0a1014623ce616392ad12afe7bd0e526d6037892ab236fd5a3aa975","observation_id":"3b7c9046-fba8-402a-8806-c19f87c92299","resolution":{"observed_at":"2026-08-12T10:57:24.981552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.949823Z","title":"Specifying and verifying systems with TLA+,","venue":null,"work_id":"2d27032f-4582-4743-8130-0270d8bda5d8","year":2002},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.225809Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:494ed8fb3e1293ab13d89f040360ec8aeb8af74a293e044017e27a1be30ccac6","observation_id":"e0a3c6ee-654a-4c02-aa08-cb8b6e5fa25a","resolution":{"observed_at":"2026-08-12T10:57:24.958207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.925003Z","title":"Loopy belief propagation: Convergence and effects of message errors,","venue":null,"work_id":"002033f8-b99a-400f-a4d8-8d18b712cce1","year":2005},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.231056Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:6abfa6de09afd9daf37855c687e991a3377a41dadf0d2e92a1cc5ef5bcdb3733","observation_id":"a950bb27-3f09-43c7-9644-23376ebe3532","resolution":{"observed_at":"2026-08-12T10:57:24.932087Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.907733Z","title":"A mathematical theory of communication,","venue":null,"work_id":"07711b62-7528-44bb-a6f8-74e7ba2c846e","year":1948},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.235991Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:c95a9e7354f1f3e029762aa3a3f5fbc2ae746214830851e6984652c20915491c","observation_id":"a7f00fcc-0a83-4513-89e7-7a494579c31c","resolution":{"observed_at":"2026-08-12T10:57:24.912816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.890475Z","title":"Semantic information,","venue":null,"work_id":"41d8de50-bfe4-44b0-be6b-393b7d618343","year":1953},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.241160Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:233db76ed1dc9dffd608b2a68049779bf3df82a554625241614ebf2d3451669d","observation_id":"503e0c0c-cac1-4ff3-81cd-a45ed7790d82","resolution":{"observed_at":"2026-08-12T10:57:24.895558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.873059Z","title":"A hardware testbed for dynamic data-driven aerospace digital twins,","venue":null,"work_id":"0b5095a7-5f45-4515-afc6-290f11f4a013","year":2020},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.246199Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:fc38feda3c22e010980efdcc122631664ab181f7ed6b251be320a6a157bed7c2","observation_id":"f10cf7bf-e11b-41ee-8c75-e7ac8e577b7c","resolution":{"observed_at":"2026-08-12T10:57:24.878053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.855564Z","title":"Goal-directed concept acquisition in requirements elicitation,","venue":null,"work_id":"edaeeb13-b4c6-49bd-a22f-fbe863bf77ed","year":1991},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.252142Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:18a8b26f2c9f82c4eb54b67193eb83d105399bc47ddc03e67316ab75a39f8c91","observation_id":"d83de675-09f3-4b19-b7ca-50076c67d568","resolution":{"observed_at":"2026-08-12T10:57:24.860838Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.839084Z","title":"Goal-directed requirements acquisition,","venue":null,"work_id":"2c6888ed-81c8-4843-ba34-5399147db5d4","year":1993},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.258576Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:97f57fb250e8ba773121d5c431b47693c3cc2de9dbb720ae8e9b147e8087c48b","observation_id":"f1ad7f75-8c70-4fbf-96fa-89406b2012d4","resolution":{"observed_at":"2026-08-12T10:57:24.844949Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.822289Z","title":"Information flow and noninterference,","venue":null,"work_id":"7f5ff919-7a21-46c3-86e2-e0e38c8eb4b5","year":2011},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.263500Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:7c2904ffc03aed9c9afab58f26cbb4efb961510690f0ada8349e5dd91ac87f63","observation_id":"7a753da1-e36a-4a04-954b-097306d04735","resolution":{"observed_at":"2026-08-12T10:57:24.827473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.805492Z","title":"Noninterference specifications for secure systems,","venue":null,"work_id":"5c0a2a82-b8fd-442a-b8a1-5f232bb9ef8f","year":2020},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.268470Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:314a960a4720c0d4e9da57418e25dd08c1867f13e1a5393d5f0755237c5bc9c6","observation_id":"11d2f0af-3027-4a93-80d4-c85588243eab","resolution":{"observed_at":"2026-08-12T10:57:24.810331Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.786321Z","title":"Noninterference and the composability of security properties,","venue":null,"work_id":"2f320eef-93e2-4c49-a2ab-737551820014","year":1988},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.276473Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:b207721acf54acd8bb8ebd865d969bb25f809cceb43d26c6227650d61965dba3","observation_id":"e7133d90-4c00-4f2e-90de-4e0c00ed887e","resolution":{"observed_at":"2026-08-12T10:57:24.793646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.766304Z","title":"An information-theoretic model for adaptive side-channel attacks,","venue":null,"work_id":"100304e6-f73a-4c98-98d5-30507204b964","year":2007},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.282211Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:44b7f988ea3fb94799f4cf625a62a78ceb2982195f41fcc394575dc6367f2ae5","observation_id":"d1df9715-8edc-4349-a566-cdf6f8d843c9","resolution":{"observed_at":"2026-08-12T10:57:24.772688Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.747990Z","title":"Ljung, System Identification: Theory for the User , 2nd ed","venue":null,"work_id":"f1a74060-ffe2-4d7e-ab4a-fa8861fc36ae","year":1999},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.288112Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:f9967caa3ac689657cccc5f377de7469bf445729a5a19fe57aa951afa08c564a","observation_id":"1a5aa273-d888-4093-86ff-9fbcf03af255","resolution":{"observed_at":"2026-08-12T10:57:24.753115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.07531","last_updated":"2022-10-14T05:20:11Z","snapshot_observed_at":"2026-08-13T14:05:24.005482Z","submitted_at":"2022-10-14T05:20:11Z","title":"Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices","version":1},"cited_work":{"arxiv_id":"2210.07531","doi":null,"metadata_source":"pith","pith_arxiv_id":"2210.07531","snapshot_observed_at":"2026-08-12T10:57:24.459784Z","title":"Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices","venue":"cs.CR","work_id":"3797a889-4027-4c00-a635-cb9734aad808","year":2022},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.295175Z"},"links":{"cited_paper":"/paper/2210.07531","citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:f302a4dedfe2911148ac807c48bec0db6ae4134f1e028fc9baac16874882bd13","observation_id":"f5d8429a-69f7-4b20-aa1d-ed586ad495f3","resolution":{"observed_at":"2026-08-12T10:57:24.466065Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.728622Z","title":"Secure-by-construction synthesis of cyber-physical systems,","venue":null,"work_id":"5b248987-e599-4caf-853f-d040c2f3b1f3","year":2022},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.308041Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:a349c6d2ab832d457f93dfd29ae19924ddda473b465275f4f1ca2a692bec7809","observation_id":"63760990-ba8d-4223-9586-ca0aeba88020","resolution":{"observed_at":"2026-08-12T10:57:24.734179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.712381Z","title":"On system identification of complex systems from finite data,","venue":null,"work_id":"c98b9391-1804-45a1-948b-34fd0fc61ecf","year":2001},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.314530Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:4fb1702bf7b9dd5534931d8fb32db26c43259c53ab4e344b9c827afda8dcd3b2","observation_id":"84798f8b-c177-4d4e-b41a-aadf3cd3a1fb","resolution":{"observed_at":"2026-08-12T10:57:24.717632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.696599Z","title":"Finite time LTI system identification,","venue":null,"work_id":"44efd121-471e-4f67-93e0-e74dbe3c88c0","year":2021},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.319608Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:52192f359816898ba263f5f794b79e59f968ed00da427d245e6be9534cae5b70","observation_id":"0f0e5d2b-8256-41fc-880c-3cdaad495265","resolution":{"observed_at":"2026-08-12T10:57:24.701979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.678405Z","title":"Closed loop system identification with known feedback: A non asymptotic viewpoint,","venue":null,"work_id":"5c253a22-ab85-4102-998c-ebc5edcb29e7","year":2022},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.327780Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:598972cedd6229f322aa8f71ea5462fe5b0d49eea7bda3237e7b552085dcb0c4","observation_id":"14d40276-14a6-4eca-b055-d64774a38c40","resolution":{"observed_at":"2026-08-12T10:57:24.684371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.655926Z","title":"Model checking and the state explosion problem,","venue":null,"work_id":"93154853-45bd-4e7a-8632-917312132405","year":2012},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.333774Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:7d62429a9c3ecf70aec47e73bcfb9fb0346cc4d050103a20a903a65a117af815","observation_id":"3bd5e3b5-0bc7-494f-9b03-17e0c6dfec4c","resolution":{"observed_at":"2026-08-12T10:57:24.662601Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.632098Z","title":"Local and global fairness in concurrent systems,","venue":null,"work_id":"d6f3c13c-e941-4ecf-b611-5e76f96aacd1","year":2015},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.339089Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:40e845fef704fd66d07fec2eab3058b127db47c9d07531109074bd050364bb66","observation_id":"11da31c2-c883-4a41-9888-0ae02b85a5da","resolution":{"observed_at":"2026-08-12T10:57:24.641730Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.614844Z","title":"Progress, justness, and fairness,","venue":null,"work_id":"be62771d-e8fd-4fc4-ae6c-fdd8176c633c","year":2019},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.345284Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:7295a0b7c10f9eadace419775ea274c6557641f525788b1a2b728af73688a904","observation_id":"ae73682b-bc87-4494-b8af-57361bed2c2c","resolution":{"observed_at":"2026-08-12T10:57:24.620591Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.597877Z","title":"Formal specification and verification of autonomous robotic systems: A survey,","venue":null,"work_id":"6145f586-0bf8-4563-b4cc-fe28bdb11d5c","year":2019},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.351035Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:b17485e3124cd62219a5a166f311fae36a7dbcd976c1cf4a78cf0905136ebe07","observation_id":"e9104842-19bc-4618-a637-23d10d0e6bca","resolution":{"observed_at":"2026-08-12T10:57:24.602706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.580945Z","title":"Abstracting and refining robustness for cyber-physical systems,","venue":null,"work_id":"feef21ba-7012-4f53-a2b3-788f514c6284","year":2014},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.357236Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:9e2d19a58780f67eb8af9a0695e4228d1c61bc194fe42ab9907471424b648952","observation_id":"3cce6076-bbad-4282-bcf6-d105b80b2569","resolution":{"observed_at":"2026-08-12T10:57:24.586186Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.553240Z","title":"Distributed scalar quantization for computing: High-resolution analysis and extensions,","venue":null,"work_id":"644bfb1a-f7bb-4db2-b207-2a5dcb372336","year":2011},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.363129Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:1e879c940d76d776d7528f359d1e8fc918ef7d245fd6f1ff3fcdfab873d4cbee","observation_id":"bcfe955a-620c-43cd-9119-6a5a271b746f","resolution":{"observed_at":"2026-08-12T10:57:24.565848Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.532972Z","title":"Exploiting errors for efficiency: A survey from circuits to applications,","venue":null,"work_id":"8a72c168-e418-4bc8-8943-885cb9b965a0","year":2021},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.369302Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:c007e22787d2c9ad22de550571f113ca4a3a9ddcec8c9e9658394af78c4973b5","observation_id":"3a435efa-44fd-4119-8eb0-7a81afc0a073","resolution":{"observed_at":"2026-08-12T10:57:24.539071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.514551Z","title":null,"venue":null,"work_id":"dcb0c67b-975e-47c2-b6dc-b3822d339869","year":1996},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.377325Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:04d10fa73e1163cd87565c2649c7cd9f20c5ee838a4a9eec696ef2eb754a4fd4","observation_id":"b0b34911-4f01-4de1-b9a2-1ce8bb11a4a1","resolution":{"observed_at":"2026-08-12T10:57:24.520311Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.498829Z","title":"On interprocess communication,","venue":null,"work_id":"bc0b40e8-da02-47e9-8187-7d7c2de5fcee","year":1985},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.382769Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:301aa70b40d35dcf09555d9560a1dc1c94ffafa293be439aaa87b17d576f9c28","observation_id":"7338d619-c05e-4148-853d-f01b414359c9","resolution":{"observed_at":"2026-08-12T10:57:24.503995Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T10:57:24.481365Z","title":"Property-part diagrams: A dependence notation for software systems,","venue":null,"work_id":"ad097d70-39e1-49f8-8299-5b71578dc722","year":2009},"citing_paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-12T10:57:24.387702Z"},"links":{"citing_paper":"/paper/2411.18798"},"observation_digest":"sha256:4e7d7bf8ddc800ab0ee91d217927a57c24b5d3a159c7ffc2688bc61348831a45","observation_id":"2ffdb175-b1c7-40cf-8d00-801c52037a51","resolution":{"observed_at":"2026-08-12T10:57:24.486814Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.18798","last_updated":"2024-11-27T22:52:36Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-12T10:50:35.835060Z","submitted_at":"2024-11-27T22:52:36Z","title":"Formal Verification of Digital Twins with TLA and Information Leakage Control"},"reference_resolution":{"displayed":61,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":2,"verified_fuzzy":57},"total_outbound_references":61},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"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."}