{"as_of":"2026-08-10T16:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a3b94edc8c81ab08ff145fbe0158ece5fdaf8c80f152f1faa5364f402d5dd172","coverage":[{"denominator":49,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":49,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T19:11:12.659446Z","state":"measured"},{"denominator":55,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":55,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":6,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":6,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T17:51:59.709119Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T20:30:08.270930Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.05510","snapshot_observed_at":"2026-08-05T17:51:59.709119Z","title":"Data-driven neural certificate synthesis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-05T17:51:57.086579Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.709119Z"},"links":{"cited_paper":"/paper/2502.05510","citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:d2d26cce197dc7799013f5d198245ca565dd6d64964432c61b0ed36b51edc3a5","observation_id":"234f6db7-23b1-443c-a7ba-61e997fc4a73","resolution":{"observed_at":"2026-08-05T17:51:59.709119Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"cited_work":{"arxiv_id":"2502.05510","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.05510","snapshot_observed_at":"2026-07-04T20:30:08.270930Z","title":"arXiv preprint arXiv:2502.05510 , year=","venue":null,"work_id":"63835b60-fe59-4efa-9898-d16eea6de6fe","year":null},"citing_paper":{"arxiv_id":"2512.20865","last_updated":"2026-07-27T20:22:02Z","snapshot_observed_at":"2026-08-03T14:28:13.709835Z","submitted_at":"2025-12-24T00:49:47Z","title":"Robustness Certificates for Neural Networks Against Data Poisoning and Evasion Attacks","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-16T20:32:13.535102Z"},"links":{"cited_paper":"/paper/2502.05510","citing_paper":"/paper/2512.20865"},"observation_digest":"sha256:0d82a1fcb1511cfd86877ae44381ceb517b3e6d696e0a6ad32eb6e557f6fd227","observation_id":"756215be-abfa-40ec-96d9-e2c25dd4d3b1","resolution":{"observed_at":"2026-05-16T20:33:24.359199Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.05510","snapshot_observed_at":"2026-08-03T14:28:31.361764Z","title":"Data-driven neural certificate synthesis","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2512.20865","last_updated":"2026-07-27T20:22:02Z","snapshot_observed_at":"2026-08-03T14:28:13.709835Z","submitted_at":"2025-12-24T00:49:47Z","title":"Robustness Certificates for Neural Networks Against Data Poisoning and Evasion Attacks","version":3},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-03T14:28:31.361764Z"},"links":{"cited_paper":"/paper/2502.05510","citing_paper":"/paper/2512.20865"},"observation_digest":"sha256:e06e695aaf6cb239a04f0b9915325c8129ac78292a2112a631ee9f3d3593e533","observation_id":"66f7a74c-9378-4af7-8d82-4e9c76bc635d","resolution":{"observed_at":"2026-08-03T14:28:31.361764Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"cited_work":{"arxiv_id":"2502.05510","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.05510","snapshot_observed_at":"2026-07-04T20:30:08.270930Z","title":"arXiv preprint arXiv:2502.05510 , year=","venue":null,"work_id":"63835b60-fe59-4efa-9898-d16eea6de6fe","year":null},"citing_paper":{"arxiv_id":"2605.20108","last_updated":"2026-05-19T16:58:37Z","snapshot_observed_at":"2026-07-06T23:30:44.092395Z","submitted_at":"2026-05-19T16:58:37Z","title":"k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-20T03:39:55.188959Z"},"links":{"cited_paper":"/paper/2502.05510","citing_paper":"/paper/2605.20108"},"observation_digest":"sha256:adde5564ba444bf58fd33aba114c7ec1765317d06a386faec427c4f386722881","observation_id":"19307b2f-4909-4579-9c24-e2b25a2b1cec","resolution":{"observed_at":"2026-05-20T03:43:02.208014Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"cited_work":{"arxiv_id":"2502.05510","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.05510","snapshot_observed_at":"2026-07-04T20:30:08.270930Z","title":"arXiv preprint arXiv:2502.05510 , year=","venue":null,"work_id":"63835b60-fe59-4efa-9898-d16eea6de6fe","year":null},"citing_paper":{"arxiv_id":"2606.25452","last_updated":"2026-06-25T13:29:08Z","snapshot_observed_at":"2026-07-31T16:54:39.701178Z","submitted_at":"2026-06-24T06:27:18Z","title":"Control Barrier Function only Formation Tracking in Multi-Agent Systems","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-06-25T20:02:05.535563Z"},"links":{"cited_paper":"/paper/2502.05510","citing_paper":"/paper/2606.25452"},"observation_digest":"sha256:1568287a6e713bfaaaccf85bf7f1e4a51ecbce66d4a2510e04b59415b5e5a18c","observation_id":"61268903-51df-456e-9e2b-f14e8a99210a","resolution":{"observed_at":"2026-07-04T20:30:08.272520Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"cited_work":{"arxiv_id":"2502.05510","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.05510","snapshot_observed_at":"2026-07-04T20:30:08.270930Z","title":"arXiv preprint arXiv:2502.05510 , year=","venue":null,"work_id":"63835b60-fe59-4efa-9898-d16eea6de6fe","year":null},"citing_paper":{"arxiv_id":"2606.25452","last_updated":"2026-06-25T13:29:08Z","snapshot_observed_at":"2026-07-31T16:54:39.701178Z","submitted_at":"2026-06-24T06:27:18Z","title":"Control Barrier Function only Formation Tracking in Multi-Agent Systems","version":2},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-06-26T05:56:53.455021Z"},"links":{"cited_paper":"/paper/2502.05510","citing_paper":"/paper/2606.25452"},"observation_digest":"sha256:859de378e3729496c9a33c1576b88062a2d1eb06f7e4a2cdb384e27346b13e1c","observation_id":"ef5a9fae-b51f-433e-89cf-bdfec075391a","resolution":{"observed_at":"2026-07-04T12:49:52.443580Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2502.05510/citation-record","integrity":"/paper/2502.05510/integrity","json":"/paper/2502.05510/citation-record.json","paper":"/paper/2502.05510"},"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-08T19:11:13.172231Z","title":"FOSSIL: A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates Using Neural Networks","venue":null,"work_id":"64287b0c-4a2d-440d-8f39-9466e78deddf","year":2021},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.504901Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:15c4f99131ee2c19cc2ffcdf7fd87d9fe3ccdda723c72ce566ba77423f238e71","observation_id":"7e1b5fbc-8ba3-436f-a2bd-0b3f000a2444","resolution":{"observed_at":"2026-08-08T19:11:13.175127Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.162936Z","title":"Stochastic Omega-Regular Verification and Control with Supermartingales","venue":null,"work_id":"20114da8-e498-483f-937d-c095a6af7456","year":2024},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.508749Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:16dad2b081a0ff4ed9c8d83471ff7755c2b2aa732747d2a39d8f265ef99a3253","observation_id":"a51a58b9-c562-4ee8-a7cd-55f83d1411ee","resolution":{"observed_at":"2026-08-08T19:11:13.166790Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.153304Z","title":"Model Checking and Strategy Synthesis with Abstractions and Certificates , pages 360–391","venue":null,"work_id":"b3655c4d-d9d2-4637-8d80-e8c31f520c5a","year":2025},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.512452Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:2f2c4294abd3817c7c089b36d429325e008187e37054cd6c0e9022fe64e6ae7f","observation_id":"f62765ac-8c19-4e5e-8882-a2864d1fe7cb","resolution":{"observed_at":"2026-08-08T19:11:13.156673Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.144030Z","title":"Ahmed, A","venue":null,"work_id":"8be22258-9ca7-45fb-8e6c-f4fcb9230803","year":2020},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.515915Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:21ba6ca67cf1bcc0b375b2e0996774146f6e955d1b9bd80ab23d6bc035840165","observation_id":"43ae7271-bb04-4ff9-a79e-6b06451a432d","resolution":{"observed_at":"2026-08-08T19:11:13.146977Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.135152Z","title":"Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada","venue":null,"work_id":"adf1e1c3-2e96-4737-8ef9-81384661b0dc","year":2019},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.520130Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:ab81c42e06a7e0dc0b22564b4f68a0aa732c40aaf2b4e07aef2ec7eed4095f94","observation_id":"329d5888-ecf2-49e2-8d15-9dd26b8598d3","resolution":{"observed_at":"2026-08-08T19:11:13.138131Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.126564Z","title":"Formally Verified Neural Network Control Barrier Certificates for Unknown Systems","venue":null,"work_id":"997e91b0-d776-4554-afb7-1c65ee1cf390","year":2023},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.523815Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:6764facfcda4e8db19cf20ce7b0ea63d9682d347532a420e0531949cd96b4cce","observation_id":"22413816-7df2-4e2d-ade5-b5ed28191769","resolution":{"observed_at":"2026-08-08T19:11:13.129371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.117745Z","title":"Badings, Murat Cubuktepe, Nils Jansen, Sebastia n Junges, Joost-Pieter Katoen, and Ufuk Topcu","venue":null,"work_id":"2f0208c2-e791-41e3-bca3-eb606662ff8d","year":2022},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.528253Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:072867168918c49b911507070d234715ea9a442fe7cb37dbce4bf47fc3d0f7f2","observation_id":"5d893a55-1d4b-4f9d-b93d-e5af99d379fc","resolution":{"observed_at":"2026-08-08T19:11:13.120780Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.108250Z","title":"Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A","venue":null,"work_id":"b2c255e0-79fe-4399-9bb8-d2639203d13e","year":2023},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.532117Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:61678677e443fc09fc7896877b654e893241f82c875ff0cd29d487b9c861a582","observation_id":"71251357-36e9-4957-af36-295bd0ae90d5","resolution":{"observed_at":"2026-08-08T19:11:13.111276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.099414Z","title":"Boyd and Lieven Vandenberghe","venue":null,"work_id":"b410b5cc-f997-4fe9-bbf9-02c187d32d26","year":2014},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.535459Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:2ea298d1b3ecaa54834e2a7b94e95a264a61603b864879822b205ec89b8bf880","observation_id":"076cceb7-3e31-4598-af22-c98df85420c5","resolution":{"observed_at":"2026-08-08T19:11:13.102217Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.090493Z","title":"Introduction to the Scenario Approach","venue":null,"work_id":"243b57d0-1ccc-4ab0-9a5b-87712f031185","year":2018},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.538503Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:da052afd284346aada5b46bdc31e89d6f033ae3e9ad437b6db150d352f1a3640","observation_id":"23a3001c-0d3a-4c24-933e-8f7011a19f66","resolution":{"observed_at":"2026-08-08T19:11:13.093467Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.080653Z","title":"Campi and Simone Garatti","venue":null,"work_id":"27543f0f-8705-4ecb-8c9d-60bdae2144ff","year":2008},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.541873Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:7097c3e31ea0d69ab6198902a1fe912f5fc952836b0b107b1fd12bcb6c1a8dc9","observation_id":"4d9a0c30-aca4-4ae9-be36-3bc5bc97017c","resolution":{"observed_at":"2026-08-08T19:11:13.084093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.069645Z","title":"Campi and Simone Garatti","venue":null,"work_id":"1e4a8fd2-f01b-44f5-9e57-8c9b3d285d54","year":2011},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.544963Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:83a1eec8dc092f7cc3be3dba7bd7c23fc78ec057367ced2d409df6b040867e01","observation_id":"e5353424-70d5-4c30-8adf-2fd8997348a4","resolution":{"observed_at":"2026-08-08T19:11:13.073203Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.059791Z","title":"Campi and Simone Garatti","venue":null,"work_id":"a4371762-8baf-432b-8184-ac1917096616","year":2018},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.547991Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:802baccd3099a02d408ede4d492ed188523535f50e85350de293952e05ee8ceb","observation_id":"7fbc79b0-4753-42fb-b759-98c1ae32dde4","resolution":{"observed_at":"2026-08-08T19:11:13.062679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.051243Z","title":"Campi and Simone Garatti","venue":null,"work_id":"9bf29666-5b4c-4e73-90f7-7941551fae7a","year":2023},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.551082Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:74bb9ae8e10036c4ee917435dd766108750c0fcf6d4dc0cccc54ff15119544c4","observation_id":"d5c3ba3b-3a79-4fff-857d-f25d1bb69e84","resolution":{"observed_at":"2026-08-08T19:11:13.054050Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.042266Z","title":"A General Scenario Theory for Nonconvex Optimization and Decision Making","venue":null,"work_id":"0e6e3649-91cc-4f34-ba9f-492badf225d9","year":2018},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.554100Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:483723ede97e4163a513ba861e3737ffd0ac1012081c5b16c28ce9c00d3ff2f1","observation_id":"30154979-8379-463f-b9dd-c62a3524c757","resolution":{"observed_at":"2026-08-08T19:11:13.045269Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.033435Z","title":"Neural Lyapunov Control","venue":null,"work_id":"120ea853-251f-4f29-8d76-f0f01d895091","year":2019},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.557319Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:aa25db7da9a03f1695ff83e6f3224d223927440c7e74c00a7980eb095fc109a5","observation_id":"f6bb1ac2-c56a-43f2-a4cb-a990575c071c","resolution":{"observed_at":"2026-08-08T19:11:13.036257Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.024643Z","title":"A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations","venue":null,"work_id":"2c114e47-3c56-4747-b3ef-fc6787351782","year":1952},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.560426Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:c95fe93ccc6c3d047dd47f06206a63d01b13cd3a8eff07f104f2367845f3a817","observation_id":"656f7e67-0895-4a3b-9155-2f575f855cd5","resolution":{"observed_at":"2026-08-08T19:11:13.027815Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.015330Z","title":null,"venue":null,"work_id":"620df446-9aba-4674-a472-5f3ac7f08528","year":1990},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.563720Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:892a4119fe95159ed33085cbe07b73f96bd67f30c507ef8cd872da72a734afdd","observation_id":"5b41ca3e-3de6-454e-8437-f266a706f19e","resolution":{"observed_at":"2026-08-08T19:11:13.018928Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:13.004321Z","title":"Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems","venue":null,"work_id":"242d6df1-46ed-4df3-b020-6407fc2c770a","year":2020},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.566663Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:650819a5fedc139c58007002e1022a6de49c1a363c5288f1173a02fa7edd082e","observation_id":"b62ffe54-4f97-4ecc-9fb2-bdc53fd3bc1e","resolution":{"observed_at":"2026-08-08T19:11:13.007797Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.995076Z","title":"Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control","venue":null,"work_id":"6df69c62-2088-4f03-be5e-91aecd405e2d","year":2023},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.569812Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:eb066c5d4b1562eb79c758c655ace1bd52b5786b5248386c3bd6d8e32340df7f","observation_id":"03affb5e-0ced-4096-89de-50820dc629ac","resolution":{"observed_at":"2026-08-08T19:11:12.998346Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.985969Z","title":"Fos sil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models","venue":null,"work_id":"1c86285a-f573-4f95-a77c-9af69975d62d","year":2024},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.572880Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:eeae158fa1448073eba909fe62a77865a6ff1d86f76a5104f02653ad85c1bd18","observation_id":"10ef44cd-21fe-43a8-a5a5-03aa04aeecc8","resolution":{"observed_at":"2026-08-08T19:11:12.989046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.977754Z","title":"W armuth","venue":null,"work_id":"1b65fa42-d0bd-430e-8fbd-e31367c44661","year":1995},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.575850Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:612542d92ddafeadde3bba035c982b218a3064d2aed3ce9d5140b252e7d68e21","observation_id":"5def42c8-b668-441e-9bf7-b0721ab42adb","resolution":{"observed_at":"2026-08-08T19:11:12.980417Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.968933Z","title":null,"venue":null,"work_id":"f51f3bc9-795d-45dd-8937-93179028b6f1","year":2022},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.578628Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:c565c07cf33c1b2387cabed74ef59a9f7e9df13003d5eacc3ad2455ea82a5d2c","observation_id":"e8b56982-18a4-4870-8af9-64eaf4abcf8a","resolution":{"observed_at":"2026-08-08T19:11:12.971964Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.960400Z","title":"Garcia, David M","venue":null,"work_id":"b82e8395-0194-444b-8f05-cfcf65a23bb6","year":1989},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.581894Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:a9ed092cc73b683fe8ede8c9fffd7b286a13bd72f6d99a8c83ef465d6592f345","observation_id":"7dfcebbc-7864-4215-bb46-ca46407605e5","resolution":{"observed_at":"2026-08-08T19:11:12.963130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.951154Z","title":"Hirsch, Stephen Smale, and Robert L","venue":null,"work_id":"dc122375-d645-42f5-8ade-f55e2239062e","year":2003},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.584912Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:96de1b60a035d2ce4519cc1236077a89e9966512281c5fa6d4c27518d4ad4f95","observation_id":"b234f5d2-bcfc-4a66-90d4-c85207966dd1","resolution":{"observed_at":"2026-08-08T19:11:12.954544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.940133Z","title":"Probability Inequalities for Sums o f Bounded Random Variables","venue":null,"work_id":"e8a7f17d-2832-44db-9619-86dcf37677a0","year":1963},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.587955Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:85a489882111db35e801d5391286d8a8c3f9d569c95ecd7cb89a1afe388a016b","observation_id":"abcb1cdf-98d6-41eb-a0f0-d33dc1730140","resolution":{"observed_at":"2026-08-08T19:11:12.944311Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.931083Z","title":"Stinchcombe, and Halbert White","venue":null,"work_id":"e89e3537-7a63-4c07-9a63-4d74e2d3dffe","year":1989},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.591047Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:829bfba48d2452d4c9cad1d03ab80e051914ee9279ea94c446315ebe998dbd3f","observation_id":"3bf1c1db-ef7f-44f3-b075-53f2a4b0cf3e","resolution":{"observed_at":"2026-08-08T19:11:12.934315Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.921621Z","title":"Formal Synthesis of Stochastic Systems via Control Barrier Certificates","venue":null,"work_id":"39b24c05-81d0-4e88-95b0-2a7d40f732d3","year":2021},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.594285Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:48f85575137aff8bcd643a04e0a2e4ea1ced9ec716abecd486a1da8a284a47f4","observation_id":"4d2fafe1-1550-4f67-b523-33a5daae202a","resolution":{"observed_at":"2026-08-08T19:11:12.925412Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.08465","last_updated":"2020-06-15T15:14:18Z","snapshot_observed_at":"2026-08-08T14:48:37.907240Z","submitted_at":"2020-06-15T15:14:18Z","title":"Neural Certificates for Safe Control Policies","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.08465","snapshot_observed_at":"2026-08-08T19:11:12.597436Z","title":"Neural Certificates for Safe Control Policies","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.597436Z"},"links":{"cited_paper":"/paper/2006.08465","citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:feeb910ab1e7461a9e7d6e305e6941f3c23236887a1427e2d8d45c1a7258f465","observation_id":"90a50e67-37f5-453b-bed6-eac6633d7c95","resolution":{"observed_at":"2026-08-08T19:11:12.597436Z","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-08T19:11:12.912594Z","title":"Kingma and Jimmy Ba","venue":null,"work_id":"01ecd752-36fe-44a9-9060-0a6ae5da5866","year":2015},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.601011Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:0355a31afda8749ff31ab02a715834e2ffa72c09202eee8960a9ee39dd07dd03","observation_id":"f8f12ecf-1972-4ed1-aa07-f60e3c45dc1f","resolution":{"observed_at":"2026-08-08T19:11:12.915488Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.903676Z","title":"The General Problem of the Stability of Motion","venue":null,"work_id":"f11bd458-398f-407b-8c52-968a6bf8cdc3","year":1994},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.603741Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:a1b6a026ee11860d73fac8f7d9b059637ae292ecd1a04b5965328c71a85298e7","observation_id":"291c2223-abc3-4942-b3e6-691d755737c8","resolution":{"observed_at":"2026-08-08T19:11:12.906653Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.892523Z","title":"On the Connection Between Compression Learning and Scenario Based Single-Stage and Cascading Optimization Problems","venue":null,"work_id":"a6def26f-8bc0-440f-9417-8df8bb0d24c5","year":2015},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.606336Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:20ecbd9d9b2ac519a1cea0a0d987514dcfb2afe5400f3de8b04e5d29eb1a5260","observation_id":"b79bee91-db7a-478d-b3bd-8654f55c41bd","resolution":{"observed_at":"2026-08-08T19:11:12.896116Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.881634Z","title":"Performance Bounds for the Scenario Approach and an Extension to a Class of Non-Convex Programs","venue":null,"work_id":"4ea81bd9-9eac-499f-a224-6b38e6f5380e","year":2015},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.608898Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:5a6ab77f66b0f9f3777a55006dbe80defe79cabb93c474b5c46780a8ecb2375c","observation_id":"08826843-4d48-417b-8aab-e7e797983322","resolution":{"observed_at":"2026-08-08T19:11:12.885205Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.871285Z","title":"Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data- Driven Approach","venue":null,"work_id":"79d893e9-86fa-4bc0-883f-08aeb2cd8594","year":2023},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.611617Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:c6e97792f8d43cf3d21e01a6c764f126f18b833759c951e629de5535f86012ab","observation_id":"44055a22-be0c-4de1-818a-b4dc1521038f","resolution":{"observed_at":"2026-08-08T19:11:12.874608Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.859238Z","title":"Campi, and Simone Garatti","venue":null,"work_id":"957b987c-68f6-45e0-ba90-46e77d77270f","year":2023},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.614904Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:be3fe0c3134eba81697ae4f8a9ce1738896635ca5a66324e90e703f7d406fe93","observation_id":"f1abefe6-5e34-4521-a1bb-5e8b972e2a3c","resolution":{"observed_at":"2026-08-08T19:11:12.863138Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.848527Z","title":"On the Construction of Lyapunov Functions Using the Sum of Squares Decomposition","venue":null,"work_id":"e5524a09-3d35-4795-9586-ef4ef12dff83","year":2002},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.617835Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:3011aae0cf71eb9453fd3eb79dcbe4186c56fd1119896c47d188232cffd8eaeb","observation_id":"3bf28c48-4884-4a6e-9643-e3adac918664","resolution":{"observed_at":"2026-08-08T19:11:12.852456Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.836850Z","title":"Safety Verification o f Hybrid Systems Using Barrier Certificates","venue":null,"work_id":"69bf6233-1226-4685-8e4f-f7e83264d8b0","year":2004},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.620447Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:f41fb192ae441a51e155af27c081ca6a09fda65d36854756e31079c75ffc67de","observation_id":"871d358b-500b-453f-93f7-ff91f8bce056","resolution":{"observed_at":"2026-08-08T19:11:12.841483Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.826250Z","title":null,"venue":null,"work_id":"34e57c1f-967d-43cc-8c18-35165628d1aa","year":2004},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.623174Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:0ced63a2fe6dd7f1f09b1b86ed184cba54534e67ac9f983d06ee8a1842ab7288","observation_id":"57645381-7685-4999-8a45-8fdc976f3a3c","resolution":{"observed_at":"2026-08-08T19:11:12.829011Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.816709Z","title":null,"venue":null,"work_id":"328d723c-e582-4732-abe0-93e074a5942d","year":2007},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.625828Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:d6fbc12cc9d107d3359f354f0db47c4865e2b8068adc222e37329ccdfac4c807","observation_id":"62c27e9b-6bd3-492b-9bf4-fb2626e9f10b","resolution":{"observed_at":"2026-08-08T19:11:12.819611Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.806608Z","title":"Model Predictive Control with Reach-avoid Analysis","venue":null,"work_id":"6c507541-d1a3-46d6-b46b-150766b1bb8d","year":2023},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.629048Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:107f42584054865d59284ad4f1f8eac8a1a06cffcf16f5581b389bb489880d59","observation_id":"99856c52-52af-42ea-b168-cc03074db254","resolution":{"observed_at":"2026-08-08T19:11:12.809870Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.795921Z","title":"Learning Robust Policies for Uncertain Parametric Markov Decision Processes","venue":null,"work_id":"511198d0-afaa-4537-bf1f-574fdea1a300","year":2024},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.632429Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:74307a8db3e036e6252a0fcaef667e9fa3307ea1cd1b44a27f1c401cbdc70c0e","observation_id":"15499e29-f0da-456a-84f5-061d49f7d2b1","resolution":{"observed_at":"2026-08-08T19:11:12.799127Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.13392","last_updated":"2025-08-08T14:35:22Z","snapshot_observed_at":"2026-08-07T16:57:10.133874Z","submitted_at":"2025-03-17T17:25:32Z","title":"Continuous-time Data-driven Barrier Certificate Synthesis","version":2},"cited_work":{"arxiv_id":"2503.13392","doi":null,"metadata_source":"pith","pith_arxiv_id":"2503.13392","snapshot_observed_at":"2026-08-08T19:11:12.705355Z","title":"Continuous-time Data-driven Barrier Certificate Synthesis","venue":"eess.SY","work_id":"1e3f9af0-9ce0-4e4f-9a86-63f970d54bff","year":2025},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.635601Z"},"links":{"cited_paper":"/paper/2503.13392","citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:afe3f96cd7f7c153de1e9c7bd2222d909eefc1dcbe91b7d18d8774f439c1113f","observation_id":"0f1c2cb7-8d40-4a13-9e41-8fdb0b9827e5","resolution":{"observed_at":"2026-08-08T19:11:12.710957Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.785066Z","title":"Badings, Licio Romao, and Alessandro Abate","venue":null,"work_id":"8019c11c-e3c4-4dd0-b25c-a6f6331a05a0","year":2023},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.638895Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:97ef373e5ca05d296390709eea77cfca797c01355f5832b0c6f556f68a9f1349","observation_id":"06df1568-95e2-44a2-8f25-34b2c11d0264","resolution":{"observed_at":"2026-08-08T19:11:12.788651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.773456Z","title":"On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints","venue":null,"work_id":"8678fca4-5212-452c-bc79-cf310be79ae3","year":1986},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.642473Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:ac854fa57d9c796831ca7516d3e2b127766bea7933ede75d29323d405b6616f8","observation_id":"9d465bf2-afe3-4a49-a29b-2dd5ded579ce","resolution":{"observed_at":"2026-08-08T19:11:12.776977Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.764117Z","title":"Data-Driven Verification and Synthesis of Stochast ic Systems via Barrier Certificates","venue":null,"work_id":"177e5ece-aba8-4671-bd2b-80b94fa56a99","year":2024},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.645887Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:1786b1d2190da66a761c0a50a0d8dd0ec64789a09e4bcedc5df17c6733cef5bc","observation_id":"450aafa4-acd8-4aec-a2a0-bdd76034891a","resolution":{"observed_at":"2026-08-08T19:11:12.767077Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.754097Z","title":"Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets, 2025","venue":null,"work_id":"875afb30-a892-4ad2-a529-bc8dc8886b82","year":2025},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.649151Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:c56d658d05ec68d972c446a8d9fed1a90edf434c45272bb9365ca3d66e75d443","observation_id":"c65b6ffa-06e9-40f9-9d3e-3a993d0ddafd","resolution":{"observed_at":"2026-08-08T19:11:12.758054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.743035Z","title":"Learning Certifie d Control Using Contraction Metric","venue":null,"work_id":"66059755-5bee-4025-b5ba-7d50e3ebef4a","year":2020},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.652604Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:49b9093e32715b352c9704e55b9a845287faa6ca45a50fa7bf62639597da0741","observation_id":"496f3f13-08ab-446e-b083-4beecd28a158","resolution":{"observed_at":"2026-08-08T19:11:12.746631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08T19:11:12.732399Z","title":"W ood and B","venue":null,"work_id":"f80fc313-1fc5-4c51-8643-a14f6cb186ff","year":1996},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.656035Z"},"links":{"citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:cb95051a48fc6605724b2f478c4daf98a2ab0d5d78239af8a2f6fd901f8c3e1a","observation_id":"23724284-34b0-4028-9cb4-2a1298966ac0","resolution":{"observed_at":"2026-08-08T19:11:12.735952Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.20532","last_updated":"2024-07-31T16:22:00Z","snapshot_observed_at":"2026-08-09T19:33:43.621731Z","submitted_at":"2024-07-30T04:14:52Z","title":"Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.20532","snapshot_observed_at":"2026-08-08T19:11:12.659446Z","title":"Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-08T19:11:12.659446Z"},"links":{"cited_paper":"/paper/2407.20532","citing_paper":"/paper/2502.05510"},"observation_digest":"sha256:d5626ec03fa6a9e47d2a5bd82cb4d25cccaa1af5810cc687621b11e4f889c7f4","observation_id":"f2a62307-640d-40df-90fe-15454695bfbe","resolution":{"observed_at":"2026-08-08T19:11:12.659446Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","latest_version":3,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis"},"reference_resolution":{"displayed":49,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":1,"verified_fuzzy":42},"total_outbound_references":49},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 6 inbound Pith citation observations for arXiv:2502.05510."}