{"as_of":"2026-08-09T13:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:53b14399fa9cce5d55a3811958bea9b33a4b6732091ba222336a2a757cc3ad08","coverage":[{"denominator":52,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":52,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T21:02:09.479169Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2508.09520/citation-record","integrity":"/paper/2508.09520/integrity","json":"/paper/2508.09520/citation-record.json","paper":"/paper/2508.09520"},"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-05T21:02:09.973576Z","title":"Baier and J.-P","venue":null,"work_id":"28f6ca8a-76de-47d0-a5d4-f420ec68f440","year":2008},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.319745Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:48537dc9e2fcf5aa4d0eb3faa93e7f7e35ef2c85c07b2b7839f204351c9db400","observation_id":"54ec4d9f-b0c9-4ea8-b402-8ec843ba5432","resolution":{"observed_at":"2026-08-05T21:02:09.976274Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.964830Z","title":"Tabuada, Verification and control of hybrid systems: A symbolic approach","venue":null,"work_id":"6097c4eb-02a2-4412-9647-b61aa5835dd7","year":2009},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.323502Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:50077402a9745707a9c48f028f4dd1b5dfd22a31ce66c1f69a8fb8c4b7c9964b","observation_id":"3f05bab4-5830-4e6c-9587-198760179af3","resolution":{"observed_at":"2026-08-05T21:02:09.967953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.956283Z","title":"Abate, M","venue":null,"work_id":"0c4f127b-43b2-4590-8e13-7134e0599aa4","year":2008},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.326848Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:6117877b8e892bde504ee2011163015b3c82d34d20d1a35087cc1d447dcf29dc","observation_id":"3b99e070-5f9e-4393-997f-b149d9d1b94b","resolution":{"observed_at":"2026-08-05T21:02:09.959068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.947819Z","title":"Girard and G","venue":null,"work_id":"7c4f80f2-0579-425d-b9fe-4adaeecd482d","year":2007},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.330207Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:beb6a007c4243782ed10ff97d37854380287b7a325e005e7c250a987aba8a6f7","observation_id":"daf64ba2-6f20-40c9-8fec-5f4aebc0b57e","resolution":{"observed_at":"2026-08-05T21:02:09.950736Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.939235Z","title":null,"venue":null,"work_id":"0a5c03e2-76e6-4c95-ac8a-e7795db5489d","year":2009},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.333872Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:e50c2abf4a3b548c849db3df927614b585f984611c242c5226b8ee2beb32a9d3","observation_id":"7bededeb-eb8c-4e5e-b235-522f5daa1901","resolution":{"observed_at":"2026-08-05T21:02:09.942130Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.930772Z","title":"Zamani, P","venue":null,"work_id":"e9096070-df98-4374-974e-75445b973f0e","year":2014},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.337135Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:52b550222872948bd32d7dff949e9da5cea56bda94ac5839036b19b48e639766","observation_id":"1e2edbb5-1e9f-47a0-9f6c-538fbcd7f0bb","resolution":{"observed_at":"2026-08-05T21:02:09.933586Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.922415Z","title":"Prajna, A","venue":null,"work_id":"f707427a-ad59-4608-9d86-64bd0f5318a0","year":2004},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.340618Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:ed09727ccc715082a46c4720ad697691062787bf03d9b2919f0a3808ab268dbf","observation_id":"a29aa8c5-2216-4801-a8a2-e57e7886a46b","resolution":{"observed_at":"2026-08-05T21:02:09.925308Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.913413Z","title":null,"venue":null,"work_id":"7a1b9a59-84de-4dd7-bfcb-97dc6671bea9","year":2019},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.343795Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:c74213aa4ecae4e5e64a63d5e282c467da70ccc67d82928fe11a2226d3aaff89","observation_id":"ff2ea6a2-dd81-4a7a-8ec6-4b10b7318f42","resolution":{"observed_at":"2026-08-05T21:02:09.916394Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.904678Z","title":"Wieland and F","venue":null,"work_id":"d899e12c-adfe-4ac2-9d0b-ac6243fa128d","year":2007},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.347087Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:0d77b74ee638396d7ae6e809cde742025fbb0a3916ae5923b156abbed7728f01","observation_id":"7cf21619-7624-4b1d-95e4-e6008bfb1509","resolution":{"observed_at":"2026-08-05T21:02:09.907490Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.895676Z","title":null,"venue":null,"work_id":"17711010-7e35-4cae-bea3-69a1ea766753","year":2023},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.350090Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:1602283979e43532c47b9f42c6cbfb90b9bd0c0be6e6617806e386e559f66712","observation_id":"a11fe82e-9632-495e-bfe3-e012d9da9652","resolution":{"observed_at":"2026-08-05T21:02:09.898785Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.887177Z","title":null,"venue":null,"work_id":"130a627d-2b79-4290-b078-c8f2f41d56f3","year":2020},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.353206Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:e938d200737ccc625c3efee1a7beab08487811aff3ba3ec58fd706a6947c7616","observation_id":"5ad812d6-e6a7-492a-9740-a3ba7f66cb98","resolution":{"observed_at":"2026-08-05T21:02:09.890033Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.878827Z","title":"Luo and T","venue":null,"work_id":"10fcf6c3-7996-4737-98a5-d27df1c497d3","year":2021},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.356711Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:02215e9099dc8fa7fe76eda129a55b9bf5bc36ceba6cbbebed05ebf347da9881","observation_id":"2bc8ee16-db71-4f9f-8133-a46fdc83162a","resolution":{"observed_at":"2026-08-05T21:02:09.881729Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.869506Z","title":"Lavaei and E","venue":null,"work_id":"b8b411fa-2555-4926-83d1-5726fbca86b6","year":2022},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.359786Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:416d250a62cb0974c0168a2a95ba9d449ae4d0ea681513a38be5b5c988c61719","observation_id":"7f6817b7-ee4a-4033-96d5-1d1e6507a3c7","resolution":{"observed_at":"2026-08-05T21:02:09.872841Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.14804","last_updated":"2025-06-11T05:56:01Z","snapshot_observed_at":"2026-07-06T18:04:13.083818Z","submitted_at":"2024-04-23T07:34:04Z","title":"PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.14804","snapshot_observed_at":"2026-08-05T21:02:09.363206Z","title":"Wooding, V","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.363206Z"},"links":{"cited_paper":"/paper/2404.14804","citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:1fb7dd0ea35c4e81c0790d5577c0103a595b4bc895a216eab51596aca3f87d7d","observation_id":"e24ec9da-cebd-4805-b7eb-3bcd3513f56f","resolution":{"observed_at":"2026-08-05T21:02:09.363206Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T21:02:09.860987Z","title":"Lavaei and E","venue":null,"work_id":"6dbbf684-477b-4b49-8977-a7cb452e4568","year":2024},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.366630Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:2aa56d9f6c53396bb8c249365b96f12252cae98029b1e9e67b9e9470401adb0e","observation_id":"6e2c03f3-670f-41b8-9bcf-6c128de793c3","resolution":{"observed_at":"2026-08-05T21:02:09.863905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.10018","last_updated":"2026-04-13T05:07:23Z","snapshot_observed_at":"2026-07-06T19:15:52.640101Z","submitted_at":"2024-09-16T06:10:30Z","title":"Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.10018","snapshot_observed_at":"2026-08-05T21:02:09.369776Z","title":"Zaker, O","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.369776Z"},"links":{"cited_paper":"/paper/2409.10018","citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:4b061a9561f1206ddf7ead4965b1d2b3bdf448d814558661c40ad217d107dcbf","observation_id":"75cff725-4ab2-4f6e-a57f-b28b41e73dc8","resolution":{"observed_at":"2026-08-05T21:02:09.369776Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T21:02:09.852787Z","title":"Lavaei, S","venue":null,"work_id":"98594c69-b179-4499-a3be-8199202c3a93","year":2022},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.373098Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:d8cde2d7a5426ec6ae4748141e05ea59079aa676d7cb7f847353d83d74eaa0c2","observation_id":"3623fe4e-6d04-43b7-b6e5-48d53375753a","resolution":{"observed_at":"2026-08-05T21:02:09.855555Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.844093Z","title":"Swikir and M","venue":null,"work_id":"99b41eba-afdb-43c0-b65a-5a17f50f6994","year":2019},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.376192Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:6710edd73ab04af8a80685578062d3eb4d49d973d4eeecd3cdc64a4ba56351c7","observation_id":"5f066c5b-a738-48bf-b38e-e9c013a5320d","resolution":{"observed_at":"2026-08-05T21:02:09.847024Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.835809Z","title":"Nejati and M","venue":null,"work_id":"0d2b2a04-288f-4f81-b4d9-3bc730aa44ad","year":1962},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.379172Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:77ed35623402bf4e3c3ec550bce78b4bba8c065e11c7b5635802b4d937bb616a","observation_id":"b30ca6ec-5f08-42ba-8b81-f1742cd4200b","resolution":{"observed_at":"2026-08-05T21:02:09.838647Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.826987Z","title":"Lavaei, ``Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques,'' Ph.D","venue":null,"work_id":"c5af5dee-9cf5-4012-80a1-aa5455db121e","year":2019},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.382390Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:63ade25b6da146975387365001226a90509be12a35a63ddb72dc12173692d2eb","observation_id":"b9872ca8-b069-468d-a9e4-621f38c0eeec","resolution":{"observed_at":"2026-08-05T21:02:09.830134Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.817987Z","title":"Nejati and M","venue":null,"work_id":"7183798b-3fd4-4c50-924d-66ee68885476","year":2022},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.385444Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:783994317016f37cbd4605280731d4c2984132b20f405b7bd87279ecc5f717ae","observation_id":"610dc7d9-de48-49f1-9cfb-5a6bc9988175","resolution":{"observed_at":"2026-08-05T21:02:09.821194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.809589Z","title":"Hou and Z","venue":null,"work_id":"ce1d9e33-9bf4-4fb5-b27c-54e104c82912","year":2013},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.388313Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:ac2b7df39c0b913dbb048988be9ad8ccecb7aea82dace127b3af09286665a05d","observation_id":"399b7fce-2203-48de-8b0a-aaa6acaca40b","resolution":{"observed_at":"2026-08-05T21:02:09.812437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.800785Z","title":"D \\\"o rfler, F.and Coulson and I","venue":null,"work_id":"317cf3dd-2c46-4bc5-934c-28341f8419a9","year":2022},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.391296Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:3d449bcd51e811c68e43c6fc9e3fa24de7702cd5da08a143220b9da946ed396a","observation_id":"0e28c1ed-69cd-4f5a-82fc-31eb6940e3f1","resolution":{"observed_at":"2026-08-05T21:02:09.803570Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.792128Z","title":"Nejati, A","venue":null,"work_id":"040158b5-2898-4606-b7cb-e502e3e5e866","year":2023},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.394161Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:e58e450ff25db37d35db458ec5aadd1d0a307c987d0460cd8534e70a8a9c6d10","observation_id":"b46d4c17-0343-40b6-802e-f6e8f6284a69","resolution":{"observed_at":"2026-08-05T21:02:09.795179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.783257Z","title":"Rotulo, C","venue":null,"work_id":"f51d362a-2bfe-46a4-bac6-4a927d026141","year":2022},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.397209Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:8394609970cc1a23b40dbceb04123e0f3e3b528031c6ed6f37859ec9737b9b51","observation_id":"18e88af8-6286-40d1-b90d-2a56b31d5fb3","resolution":{"observed_at":"2026-08-05T21:02:09.786256Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.766465Z","title":"Nejati and M","venue":null,"work_id":"d0062d23-04c0-4abb-a097-e514ff0eb5e2","year":2023},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.400073Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:b35f65b83ed08bf1a6bf404166e3f32768a1476e488c8d7fe9d7bc24333ba064","observation_id":"c4bcee76-d85c-4396-8e6e-9fd0414ed587","resolution":{"observed_at":"2026-08-05T21:02:09.769461Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.758095Z","title":null,"venue":null,"work_id":"7e5232da-fa20-4451-bfa1-d4311956bd89","year":2023},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.402973Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:8869ca5d6dc4f7b30ef949346bb44e244813499b7f0b455240529dd310c18ead","observation_id":"99e0f8a5-2d99-4d1d-8af5-f28a1fc9dd1b","resolution":{"observed_at":"2026-08-05T21:02:09.760858Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.749491Z","title":"Bisoffi, C","venue":null,"work_id":"f06fd275-ec97-40d7-a7ad-2e5f50b46483","year":2022},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.406254Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:260f47a34d2dd97fba858721cd105a53e64cab0ced00b849801a7da84783da93","observation_id":"edd7287e-b372-4d2e-8b50-cf6be7d7c53a","resolution":{"observed_at":"2026-08-05T21:02:09.752548Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.740114Z","title":"Bartocci, L","venue":null,"work_id":"0fb9d767-2a1b-49a4-a98a-3834f6d355e1","year":2014},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.409397Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:a84239cc54a10ceaf3b82ac69c2cbb7fa636b75e36c656e7b1315e74d2fe5271","observation_id":"f7f85c5d-a42e-4656-8118-db6ded5723d6","resolution":{"observed_at":"2026-08-05T21:02:09.743355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.731868Z","title":"Nejati, B","venue":null,"work_id":"99016045-fd6b-47d7-a693-5003242aebec","year":2022},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.412986Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:503d6992756b404a01e0adea72f7ecbd42416432d0eed4806b6f44451a46f90e","observation_id":"03f39093-24df-45eb-b53d-1cae0c5d64d8","resolution":{"observed_at":"2026-08-05T21:02:09.734785Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.722780Z","title":"Akbarzadeh, M","venue":null,"work_id":"7b9da4ea-d188-471e-98db-5c6faca8714c","year":2025},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.416015Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:b128404268c732d88725a933bcee0f1f7eb58513372c86af383c33f0b1e03f2f","observation_id":"42aa19c7-543d-43f6-8686-575db5bf3261","resolution":{"observed_at":"2026-08-05T21:02:09.725751Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.714164Z","title":"Samari, O","venue":null,"work_id":"7e08cc85-a53c-4f88-97f5-39af116fd2be","year":2024},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.418983Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:68e25a20b416f319963414bf8aa5ea761f88a8aaf9fd28de1c815b2a7b9f54c1","observation_id":"846bc4d9-9eff-4761-b3a8-7069112906e2","resolution":{"observed_at":"2026-08-05T21:02:09.716995Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.705339Z","title":null,"venue":null,"work_id":"72f3645c-7760-4ac1-a0fa-fcbc303d5a0d","year":2006},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.421810Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:09db4fbad1427f48751dda7cea583ea21b9c01317b04d3c6e01770bfbf0e4d1f","observation_id":"bc37c95e-cfbf-4802-91a1-2a2a0c98b04c","resolution":{"observed_at":"2026-08-05T21:02:09.708364Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.696739Z","title":"Mohajerin Esfahani, T","venue":null,"work_id":"8a4273e5-6ba3-4b30-81c8-60a686c30417","year":2014},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.424753Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:1d344135174494cb9b495ab94e4f2f1a88c8474b8483713149bb6d233261146b","observation_id":"e88c5931-f381-440a-bf9a-5801186fff65","resolution":{"observed_at":"2026-08-05T21:02:09.699377Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.688315Z","title":null,"venue":null,"work_id":"bf538828-d096-4580-9b9c-e1e42ae62c9a","year":2005},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.427546Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:5b28d5199f79d7b38f92105df9f6a3f116e17a281bc9d89a4516d7c756e1fdd9","observation_id":"7d11389e-e8d8-45e1-8bd8-1855f5237bf6","resolution":{"observed_at":"2026-08-05T21:02:09.691035Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.679784Z","title":null,"venue":null,"work_id":"b99ed610-6333-432d-a889-a664290e3cf7","year":2024},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.431477Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:4e08c200a208bb041315af92de51fbe4fd00960fbc7d3bc2a7bc3566275d54ad","observation_id":"35357997-a872-43f7-80cf-c7d3c0c6d590","resolution":{"observed_at":"2026-08-05T21:02:09.682820Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.671248Z","title":null,"venue":null,"work_id":"1fcd9111-ddbb-4c99-91c2-883bd6dd16fc","year":1960},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.434499Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:021cd4a25ec913ca0726032f396d545cb4c8a55bdaa80fbf8e8f9a30f8b14542","observation_id":"034d5101-3832-48b9-b6a9-339a603e6119","resolution":{"observed_at":"2026-08-05T21:02:09.674004Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.662922Z","title":null,"venue":null,"work_id":"11248648-3e4c-4790-9e5d-df09a62c789c","year":2020},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.437571Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:92c336da72f61570f1c9e1c38b41add17d378d899cb2c606a5c5d0bc7a0196e4","observation_id":"c1eedd7a-cd16-4184-8a74-8a43044e2f5f","resolution":{"observed_at":"2026-08-05T21:02:09.665581Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.654103Z","title":"De Persis and P","venue":null,"work_id":"bdde262e-20c7-482e-a754-6d59b4404054","year":2019},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.440414Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:2e2b50758c19db7c393df3eaec713a7f2d8ff7de53fe971429df1668f950f2ea","observation_id":"88007ecd-d6d0-447d-8c75-5c49e9fe00a9","resolution":{"observed_at":"2026-08-05T21:02:09.657006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.645954Z","title":"Bhatia and C","venue":null,"work_id":"6cd2eb02-924b-4492-a241-8a41ad4f4a57","year":1995},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.443433Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:fdbb9e07844adad2f462307caeb4202b7b606b804160da65b236f8bccb3354b1","observation_id":"1c2b8900-ce5a-4406-ba63-7296da600872","resolution":{"observed_at":"2026-08-05T21:02:09.648623Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.637576Z","title":null,"venue":null,"work_id":"023edc38-b9ea-4576-849c-1e122a746a72","year":1912},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.446412Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:8471c400ff35293caadafb656b81f288bb1880e456fa489189037da11561e00f","observation_id":"344197af-cc87-41ba-a2f1-624088f4dd67","resolution":{"observed_at":"2026-08-05T21:02:09.640369Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.629102Z","title":"Ando, Matrix Y oung I nequalities","venue":null,"work_id":"bd24837f-7b1f-4a47-b590-7304717e5822","year":1995},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.449171Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:4e5a63aa6ec6a40bf2d4d9ab3069724864f2742718fe28eda3392e5aa795a83c","observation_id":"b718de6e-10d2-4c61-b50b-95da1817ab75","resolution":{"observed_at":"2026-08-05T21:02:09.631940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.620684Z","title":"Zhang, The S chur C omplement and I ts A pplications","venue":null,"work_id":"203ab237-96d3-4b0d-93fd-916b71305130","year":2006},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.452102Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:35dca1ba168fa094469047b41e3d0c0991d50585767eb5da146559ae6ea04dc0","observation_id":"3ada7184-08ee-4b7c-93d3-75c8328fe93b","resolution":{"observed_at":"2026-08-05T21:02:09.623629Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.612121Z","title":"Prajna, A","venue":null,"work_id":"fcaa1f52-7904-4fe2-afc4-3b8a8826a0de","year":2004},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.455130Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:15f2c0f2ad46896aa751609d7f5f37512876fff8a054d3ac0c286048f6cf343f","observation_id":"8e41c1df-6146-467e-a5d6-6541c2a1cb6b","resolution":{"observed_at":"2026-08-05T21:02:09.615086Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.602517Z","title":"ApS, The MOSEK optimization toolbox for MATLAB manual","venue":null,"work_id":"8d114e84-c336-414c-bb2f-fac37244f61d","year":2024},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.457881Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:8ff449ac60fef6f5431f1cd37fe15bbf00de63ac547f6a24572f53a7798d4226","observation_id":"c5df50f2-4e2a-45db-807c-56ce040e3b26","resolution":{"observed_at":"2026-08-05T21:02:09.606300Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.594139Z","title":"L \\'o pez-Mancilla, G","venue":null,"work_id":"9efd8430-b583-44ab-ac47-741dbc5c31c9","year":2019},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.460797Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:7e234fe3118954d4d74c70825618832823d1dce6331b4e84bf004f77b35dd147","observation_id":"483a3c41-81e5-4ff1-b329-22ed0fb20362","resolution":{"observed_at":"2026-08-05T21:02:09.596831Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.584840Z","title":null,"venue":null,"work_id":"7f35e933-0eaf-40e9-8755-8a28f2fcddba","year":2002},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.463872Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:850d93f483d4fd3a24e331f0e4175365e3d47150acb8fa90c819408a997f2105","observation_id":"368a39b1-293b-4e71-8b03-ec386dccdafb","resolution":{"observed_at":"2026-08-05T21:02:09.587838Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.575818Z","title":null,"venue":null,"work_id":"829a68a1-816e-4c71-91d2-f5902da79e46","year":2014},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.466909Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:44f3725e8fd4c242bff3a55ffdceaf88d21fd71213d46debac9b41050b4e8b15","observation_id":"790017d1-5d4e-4e74-b099-77dca2b2dbc4","resolution":{"observed_at":"2026-08-05T21:02:09.578601Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.566859Z","title":null,"venue":null,"work_id":"883179b3-e9ff-412c-8fd4-1200847d599f","year":2009},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.469832Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:c65f4d20a8ea92da5af43ce7545d296488b63a85c391653c918e5f1f1b0afc2b","observation_id":"01cc8f54-4aca-4211-875f-e81347818c74","resolution":{"observed_at":"2026-08-05T21:02:09.569786Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.557535Z","title":null,"venue":null,"work_id":"f328fef8-6804-44d0-b170-487595fd30b7","year":1963},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.472750Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:4990bf5fe409096268dfbaa08389a2c3e1fd0b1f20448f93ed09fa334a1f4759","observation_id":"5fa836b6-49cd-444d-92ce-5bed9a04b1b0","resolution":{"observed_at":"2026-08-05T21:02:09.560452Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.548180Z","title":null,"venue":null,"work_id":"133859c9-8c1a-46dc-adc1-ec0d7d55c088","year":2010},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.475594Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:ca04d6770a56be4e42f11030338f2ad0b92234059c5d5c8501ac41c2287be3b9","observation_id":"05d8d7bd-5d28-4c73-a971-8ded364a6577","resolution":{"observed_at":"2026-08-05T21:02:09.551335Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T21:02:09.537278Z","title":"IEEEtrantools_doc.txt","venue":null,"work_id":"98f41526-5fe7-4422-b7a7-32a11f960787","year":2015},"citing_paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-05T21:02:09.479169Z"},"links":{"citing_paper":"/paper/2508.09520"},"observation_digest":"sha256:65b5628722e86e58f116b2bf8c5deade74a7044f4390a010da5e14abd48bfb0c","observation_id":"ffa573a1-e178-42b9-af46-a3e615f54551","resolution":{"observed_at":"2026-08-05T21:02:09.541187Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.09520","last_updated":"2025-08-13T06:04:31Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-05T21:02:03.403151Z","submitted_at":"2025-08-13T06:04:31Z","title":"From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks"},"reference_resolution":{"displayed":52,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":0,"verified_fuzzy":32},"total_outbound_references":52},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2508.09520."}