{"as_of":"2026-08-11T19:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:047ef684e013a5acd24768b9a1e42df52c24127d64ba1aad6c547977ad7ebff2","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-11T06:34:44.6726+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-09T19:33:45.306672Z","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:0898a0bfd11709535bc36cb453c71cccbe440ae5df6af410f3c609a1c196b313","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:fab8dbbc2066907b994de94287978242fbe911abf3b9396d22dc549c80fb543e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:4bf4266ba77eb02f0df584a8141993f1456df9afe2a8c6c52ef7f2ee9771e5f0","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:e83d1c1daa39cb8d3066e35299738cc7c351d7a74c3e96b88f6ef7a52d975959","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:17e956519c4a8f7f5a8b40c6f8ba7abb1578e242016a153ebdb2ecf142207fe1","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:6fc530d3735a17cd706a19e87ae0b72a4d21ee401aea44d873396660177400a1","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:3d773bbc0e8c6f65a349e03cbf2acadcd19a3a26cb2223bf3ab355c4c8d2262b","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:f130a099498b250b7401982f5ee3650088785e7428bf531055a306db92f270fe","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:34f791b3e70d37d8ed581459dfe5efc9be8cf0d26f1a8ae76c398f8cc91b721e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:986d43ab1c138b36c2a0a3c29d443a7cc247d6588963d34b24fb950a677f7946","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:736d7c2464d228cb324e624118652b0dba2c682048532e259912b7d7e8b913e8","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:c9def6f74def01dbf392f8eb2a95028e1c0f7611e6a9f4de63c9d5dcab9c7444","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:43ffebb339cdf69d10fb4c984b66416c99f03b1966b4e99a436204aa5c8b19f8","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-08-10T13:06:53.811958Z","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-09T19:33:45.306672Z","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:602efbe24165d0bb4f05c55045ee5336093fa42241f284cd4dd2dbffb64c7ce6","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-09T19:33:45.306672Z","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:d45f0dc20cf1031c3b79f5f6b26f13beaf4646f071652108efa9b66f098b7eeb","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:0104c42683a62ab70ac2581f0102cc5c2b2a0d9dc53784d1f6547351afa44a0b","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-09T19:33:45.306672Z","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:734d9ae61d0066894ea0b67abcb73e67624d3aadd71c0fdbdc08efad6f7923ff","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:f489b0d511d65960e936551199266692fa9144fdeaf3b9d372d63e6b6332978a","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:c62e5f15a55337cecd216d168e1ea5b8c40cfec7af66fb84dceb801fa8ca8bd6","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:4350ef85c535ef3e4c6909e090ca52b010e667eeddb9e33c8460fb38794409cf","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:45975e6fb7a77ab615e52070c82193c35814e26282f1e0687890294f18abac38","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:2bb1ab2b7a32c912d1cd3d71c5ebbd81cac19741e068b8d3cd4698cbe9139375","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:3d1410ac069869718808b870b76e01271bf044930e958bacfbbc653721312c3a","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:9f1de05669eb4a2ad737ff6ec36c58c1b1c13cc37a9ffa08870a6b274c7d2c8c","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:d914e7033ccec320e3f69c03f65300c3be0851923478bbe0e95ca2de9ebc8bc5","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:27e13372ea8a07f1c146c80d61532a8e482d6b73451b6169c37899d78f54d955","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:aa77885bf0ab602a9d8994f3a3a6d9c77c0e9e6f071d1c0802d8c7d9ea9d6600","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:162b24b4ad029c3b5cd35916ca875ec173d21c15cbd92898cde9508dc8a8fa05","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:fb8605e5d8db19aa390e45c2cfc7310682d239d5526d0104ed87cefc6e998305","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:95fe24a447d8806eedd70a4530635d5dfaf3ee55d57eed2b856957c36f165612","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:58607f362fd9994935a89988a7bd9f4566126c755477b66d93b6daa1f2ed2dd6","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:2d396724f1705256a8eed6d541ac076408203d3781650cfa437b204fc8f34d45","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:22780891847e9122da39730c8ff629cd9220554bf95a0833929ae629c1e0ef08","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:39570c10d21b391c705a98e3970ddb6ca726f3aca86a960a46ee353c9c76eda3","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:50ed242c40380824414a7f5d35cd260c0b6cf115ed4805610b0f495e44c39d7f","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:37da0edc5488837dff1e30039c7608f217530e6dfd0dfb83f1638644773880f9","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:08db26ba675bf6136acf9499222c7be9cd5c5eef5f38c3b081cae9c207612156","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:2b72abe6684b70abbd6fc0cd36353f6e10d189188b328afffd6cc5443f6748b8","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:ce29e9f2f019e5f480d171064edf256b23ddc41581ad527871e0819db894dfda","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:64dd6004118e3a97032a6ff01e7d0cb5baf2ee0cc47b35673b503bf99c5b7448","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:aceb1252ab2c5feb0aae5e14141c227ef2b5ec0edf92e0fe9b320dd5e53bcff2","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:a1fca3c91f8a96a341c0ef703db1c067d2b89936bcebf6c9daf644564581a065","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:5aa6e276ab5374ac4759aa0aedf9c3c5517d72afa994ed22c65088469c4a6d16","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:86e43285d30f8ca637135215f8b8d537f13c0ee57ffd47be64e49ba15e3f2793","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:87311f94b0d9b2322e815b5d9101d494547d980bf9fcbbad2d2a9e2f7279afad","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:f4c5ea39ae2ba303787b91ddf43a267aed079a0cce23710dfb93cce9b07fa2f6","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:8c5544688f67e0a5738b6f4a79296e14b0e849c586753005da17bd7ce7fd7311","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:f77a4680685d1927eb972e4b717f37d9addfd666b21588db6967fb93454cc510","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:5aa1b0ed849252a324854b8a2bc110c2140e79c43b95a1f3caac4340919ad386","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:1def707731b7a798fc686a66dade304a6b9673d53baa11af61a19f3490f2ac78","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:1828af9babd19597449abdd05cfd148b231abdf710f58a5284ec18730e2a9416","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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:ad7fe769fbe723cba6b4e331a46fa079fabe2a23ca63f85e77acc0a8729b644e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-09T19:33:45.306672Z","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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2508.09520."}