{"as_of":"2026-08-08T02:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:249533b10e3e6591bdd4ad8e48cf4eb79e8a7e83d79757eaf09700261a5e7183","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T10:38:50.555484Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2509.03899/citation-record","integrity":"/paper/2509.03899/integrity","json":"/paper/2509.03899/citation-record.json","paper":"/paper/2509.03899"},"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-05T10:38:57.229911Z","title":"Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation","venue":null,"work_id":"d51572d1-1a34-4a04-83bd-c60faf98f5cb","year":2017},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:47.262642Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:f0b8212fab4a6fbd2db17b1bc8bdc96d2ce0b72a8eee17722f6ad40ab60ee4a0","observation_id":"9a477bcc-1c62-486c-a588-2742740b790a","resolution":{"observed_at":"2026-08-05T10:38:57.345937Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:57.007732Z","title":"Burdick, and Aaron D","venue":null,"work_id":"6b1e54c1-a372-43d4-87c4-5a859732eafd","year":2019},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:47.350688Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:133d95d45797e4bae2adbd4a904465ce7861074dd9dc750d65fb1d93e86dc258","observation_id":"50608d42-f08d-4419-b694-3b8f23f30db3","resolution":{"observed_at":"2026-08-05T10:38:57.101657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:56.767627Z","title":null,"venue":null,"work_id":"c7105b02-bfb1-4ff1-9460-5019acbab9df","year":2007},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:47.479913Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:a01bb1590e8110f400195903fa2d9589be315ae09f2cf42f05461a5a0f1824d3","observation_id":"a543b9a1-113c-4d5c-a2eb-c736e00d5854","resolution":{"observed_at":"2026-08-05T10:38:56.874804Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:56.607958Z","title":"Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada","venue":null,"work_id":"066ff6ec-954c-48b3-aa05-18a950372e4d","year":2019},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:47.556400Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:07c8d2a272cb80098ec075535797cbdd956409535843202a429c9e86a8c3a8c8","observation_id":"e8ac7ac5-6464-45aa-a005-7739863cf334","resolution":{"observed_at":"2026-08-05T10:38:56.654431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:56.437832Z","title":"Bertsekas","venue":null,"work_id":"28f9fd7a-7651-4a36-b47e-b135f6b320c1","year":1972},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:47.631396Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:907d2759179203a667d821f45364c83dd28031ce84c7a26e397714127a06a324","observation_id":"207fbd85-0984-43f8-86f1-d5713a911237","resolution":{"observed_at":"2026-08-05T10:38:56.521757Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:56.196604Z","title":"Set-Theoretic Methods in Control","venue":null,"work_id":"5de5e722-d327-44ef-b1b6-f1beb0f6db4b","year":2015},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:47.710421Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:1b51636bab3cc1d53d715af996b07b4c1f4af551d568c0af7580205a4496d791","observation_id":"3ed60094-1179-4d0f-8c10-c902162f1e3d","resolution":{"observed_at":"2026-08-05T10:38:56.323984Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:56.016838Z","title":"Learning stability certificates from data","venue":null,"work_id":"75b553da-f35c-41d0-9b93-675e86eda0bd","year":2020},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:47.765843Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:49df963ec48bff23612dd3ffd30550a7931f592ca50da169547ff244f4cb969e","observation_id":"0337ac51-f8f6-4e6c-ac16-b6f7acef742a","resolution":{"observed_at":"2026-08-05T10:38:56.102183Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:55.593186Z","title":"Bravo, D","venue":null,"work_id":"2f800ac8-cca1-47a5-9593-21f6bd63d72c","year":2005},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:47.928527Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:7959b9c1b4aba3bf964144a536ce6a78bb70164f5357653903268098917e84fb","observation_id":"f6161b86-49b4-4f3c-b1d2-b535e1f86b3a","resolution":{"observed_at":"2026-08-05T10:38:55.729250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.11757","last_updated":"2023-04-23T22:03:34Z","snapshot_observed_at":"2026-08-02T16:20:59.592635Z","submitted_at":"2023-04-23T22:03:34Z","title":"Computing Controlled Invariant Sets of Nonlinear Control-Affine Systems","version":1},"cited_work":{"arxiv_id":"2304.11757","doi":null,"metadata_source":"pith","pith_arxiv_id":"2304.11757","snapshot_observed_at":"2026-08-05T10:38:50.734358Z","title":"Computing Controlled Invariant Sets of Nonlinear Control-Affine Systems","venue":"math.OC","work_id":"6dcfa17f-3f94-4327-a952-76b2539d5771","year":2023},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:47.970209Z"},"links":{"cited_paper":"/paper/2304.11757","citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:33a30895fe1f0db0d6c205e4f8d56105e16ac09b0860fc348757d7ba3e85611f","observation_id":"23931934-22b4-4aed-9ef3-f75b11b7a063","resolution":{"observed_at":"2026-08-05T10:38:50.810452Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:55.498014Z","title":"Byrd, Peihuang Lu, Jorge Nocedal, and Ciyou Zhu","venue":null,"work_id":"7ae06404-2f5c-4ac8-b0dc-1e5493c0ea18","year":1995},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.018109Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:c2f2a6be66d6a86e89510e41410d0b3f71dc98d8a55977732a737dbf63c64d81","observation_id":"d2874238-036e-44db-986e-1dfe3ab48058","resolution":{"observed_at":"2026-08-05T10:38:55.585194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.07308","last_updated":"2024-03-12T04:29:43Z","snapshot_observed_at":"2026-07-06T17:43:01.800352Z","submitted_at":"2024-03-12T04:29:43Z","title":"Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.07308","snapshot_observed_at":"2026-08-05T10:38:48.114792Z","title":"Verification- aided learning of neural network barrier functions with termina- tion guarantees","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.114792Z"},"links":{"cited_paper":"/paper/2403.07308","citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:1cbfdf58346a9254cd64a2fa600c220576c9ece65c44b1e7d3c326407b1f59cd","observation_id":"91a074f5-b15e-4c79-b2b1-51262409c25c","resolution":{"observed_at":"2026-08-05T10:38:48.114792Z","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-05T10:38:55.292821Z","title":null,"venue":null,"work_id":"d5d90a86-032d-4ff0-9f5a-d1ccdf8cf9f9","year":2011},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.189399Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:24cb9be6d2c4e8200b19b9e73de277514111c31734bf2bcdc80c1406afe6950f","observation_id":"ae357e58-4659-4966-bf07-2ebf306c5e74","resolution":{"observed_at":"2026-08-05T10:38:55.402333Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:55.144443Z","title":"Verification and synthesis of control barrier functions","venue":null,"work_id":"ebb31d95-a87c-40ef-87a6-646b4398e5b3","year":2021},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.324888Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:0d09ccac31e04baf779551c03f1a15ff99c0c16e01deb6c06168b0c8fd594c47","observation_id":"f2f4ea46-1315-4198-b676-6c3bc75cab2f","resolution":{"observed_at":"2026-08-05T10:38:55.204881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:54.975607Z","title":"Safe reinforcement learning using robust control barrier functions","venue":null,"work_id":"0eb82646-15e7-462e-9d6f-e0d8740e6332","year":2022},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.406165Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:184e9a8803a189a83a228a627d1ee848e754d1bb17b49804bc471b9d2701d031","observation_id":"c36a0931-1944-4945-98c9-d798eeb84174","resolution":{"observed_at":"2026-08-05T10:38:55.069365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:54.810103Z","title":"Efficient and accurate estimation of lipschitz constants for deep neural networks","venue":null,"work_id":"71a48801-2cab-48b3-a237-1c1756f5caf0","year":2019},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.458448Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:5025d4c247a2d88d8d4d1599684ae209778dc473e554e2401c831282f1a4116b","observation_id":"70ae3c88-21a3-4ca8-974f-cca587c0914c","resolution":{"observed_at":"2026-08-05T10:38:54.867975Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:54.611268Z","title":"Fiacchini, T","venue":null,"work_id":"2cc678e9-2c4d-4335-b93b-c8335cec074a","year":2010},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.548650Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:4a0ae40732d752be1ca1028d1630c09cf7c07e295d65f499cfbb41b69208135b","observation_id":"400b0693-c8e3-4eaf-8f20-05d4610992df","resolution":{"observed_at":"2026-08-05T10:38:54.723196Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:54.401385Z","title":null,"venue":null,"work_id":"b249d4c3-2886-4384-b892-e2c1539c0419","year":2023},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.617295Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:38111289503eb6d112008c278bf4260b6379eb575a4e3a782905bdac82faa1ba","observation_id":"e8810837-5eb7-47a5-b988-7bb9967bb1ee","resolution":{"observed_at":"2026-08-05T10:38:54.511124Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:54.227322Z","title":"Ad- vances in the theory of control barrier functions: Addressing practical challenges in safe control synthesis for autonomous and robotic systems","venue":null,"work_id":"62aa202d-4872-42d7-b32f-629d376aada9","year":2024},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.686636Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:c872026bce4bfa0580958eeac68d4c7b87d6293a2348996ded29afc04bbdf3d9","observation_id":"140f5225-32dc-42b9-b02a-70da6e921699","resolution":{"observed_at":"2026-08-05T10:38:54.319984Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-07-06T07:11:26.830504Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-05T10:38:48.767788Z","title":"On the effectiveness of interval bound propagation for training verifiably robust models","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.767788Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:36441da044bad7e9aec19ce1721b4dd13558a7d803e3d3b83f87a5fa4de1ece3","observation_id":"aeda2798-d890-42dd-8fda-97a2cc6a9e76","resolution":{"observed_at":"2026-08-05T10:38:48.767788Z","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-05T10:38:54.034477Z","title":"Kerrigan","venue":null,"work_id":"16bd5897-cb75-4e16-9895-1684a28c9918","year":2000},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.870179Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:828f3c0c6735455d24647e15d76a1cf325cfd1c0b8656db636889028d226aaa9","observation_id":"477006be-f4e6-4835-9994-a10547d540ff","resolution":{"observed_at":"2026-08-05T10:38:54.149061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6980","last_updated":"2017-01-30T01:27:54Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2014-12-22T13:54:29Z","title":"Adam: A Method for Stochastic Optimization","version":9},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6980","snapshot_observed_at":"2026-08-05T10:38:48.931742Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:48.931742Z"},"links":{"cited_paper":"/paper/1412.6980","citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:5be5710924ab61807b3d644489969bad4948b9b9a4897275ca1e7f366fd0de51","observation_id":"3212b559-850e-4aec-9a52-4543a38a2407","resolution":{"observed_at":"2026-08-05T10:38:48.931742Z","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-05T10:38:53.815489Z","title":null,"venue":null,"work_id":"c8a17fcd-dcde-468d-b989-54a88226addc","year":2013},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:49.043407Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:e443edeb406143651558b74670a672a64d646e24ef7bfff5bbc766771108d04d","observation_id":"f7fafec5-da3a-4b90-bd2e-a6bbbbac7b9f","resolution":{"observed_at":"2026-08-05T10:38:53.934414Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:53.625371Z","title":"Empirical Bernstein Bounds and Sample-Variance Penalization","venue":null,"work_id":"137d1fd8-d279-423f-98dc-59f1f91dcfad","year":2009},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:49.149819Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:d013d9a6bea8f20aa2a999c12a1f3338db93d84254da96d999985b0fd037275f","observation_id":"624bafca-f192-40a0-9e0e-2d41c5ed53ab","resolution":{"observed_at":"2026-08-05T10:38:53.712417Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:53.377960Z","title":"Mitchell, A.M","venue":null,"work_id":"642aec79-ff02-4f1e-9652-16c440268696","year":2005},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:49.273906Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:46207c28d059b3bd46cb734e189f8709761491d3d7e5ab4920f5145e56383d14","observation_id":"04ec13a2-08eb-46d4-9c75-0ae678b45f65","resolution":{"observed_at":"2026-08-05T10:38:53.491616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:53.153683Z","title":null,"venue":null,"work_id":"6b996c17-1d49-412e-9128-aeedc3855023","year":2006},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:49.373496Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:acce5a041e2fb1a7c561c085d60924ec87b0e83059165a2027edf32a1a8b62d7","observation_id":"144570ef-9124-4331-a416-6b4c35891fc2","resolution":{"observed_at":"2026-08-05T10:38:53.272781Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:52.926532Z","title":"Fast verification of control barrier functions via linear programming","venue":null,"work_id":"64541767-fa75-4a5e-9416-4f146d6a52fd","year":2023},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:49.464739Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:834711a2eb736f7b37dc752ed026564e9103d8dd28b2a70a65ea455248f245b7","observation_id":"63f05136-8bf6-4c25-a59e-3a4e8d16fbe1","resolution":{"observed_at":"2026-08-05T10:38:53.057179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:52.681179Z","title":"Vboc: Learning the viability boundary of a robot manipulator us- ing optimal control","venue":null,"work_id":"8d4977c8-faa2-400a-abbe-d65049e4f705","year":2023},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:49.577382Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:dfa72e34cb26eddbb830d7cadbbe477988fefa8916a51acdb1d2526a439d2b12","observation_id":"e7c16805-2e86-40a7-b22e-1e672eaf6528","resolution":{"observed_at":"2026-08-05T10:38:52.793885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:52.405143Z","title":"Scalable computation of robust control invariant sets of nonlinear systems","venue":null,"work_id":"0d007909-a23e-4822-b3d7-dbcbba7f3325","year":2024},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:49.641688Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:81f383f86fda127ce8e43475d53ce2bb55fcff010cc5201e1b3b7c373e0ba764","observation_id":"f8f60cd5-8cbe-4a81-b3c1-cb855bee91b7","resolution":{"observed_at":"2026-08-05T10:38:52.552162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:52.228710Z","title":"Shakhesi","venue":null,"work_id":"09ae11b3-b492-4812-bc1b-0fb15c6bb9c9","year":2023},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:49.783588Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:64cd1fe3f615a6c77897d3274b51e205f47bfa70b87e5125e92cccf544c8ec76","observation_id":"ff101eac-e63e-4b1d-8342-4c5311c05c82","resolution":{"observed_at":"2026-08-05T10:38:52.334683Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:51.981608Z","title":"Strong and Leila J","venue":null,"work_id":"d7150bdb-d1e0-46e2-a004-d5f6c3600d79","year":2024},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:49.912490Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:63ff80002577d9de4fd5d2f933f7be5c82e5dd09f5573d24b0c98ef810be35f9","observation_id":"8403dd79-2b66-43bf-a667-0578c22450ce","resolution":{"observed_at":"2026-08-05T10:38:52.113480Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1312.6199","last_updated":"2014-02-19T16:33:14Z","snapshot_observed_at":"2026-07-06T03:31:33.797310Z","submitted_at":"2013-12-21T03:36:08Z","title":"Intriguing properties of neural networks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.6199","snapshot_observed_at":"2026-08-05T10:38:50.020529Z","title":"Intriguing properties of neural networks","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:50.020529Z"},"links":{"cited_paper":"/paper/1312.6199","citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:dedcd271327cdf37138da2f376f51e3f19b17b5bb00d912fc78fd3232ab5a7ad","observation_id":"8ea0de3c-efcc-4b04-8604-359e9b547851","resolution":{"observed_at":"2026-08-05T10:38:50.020529Z","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-05T10:38:51.739394Z","title":"Dimarogonas","venue":null,"work_id":"5c067119-7297-48bd-b3de-e6fe6af06d76","year":2022},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:50.127503Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:d3daf32482f3e6a11ccca7c576b8372eb999b36cec70dce5e57296b289139365","observation_id":"327bf6f1-6d42-4070-9a70-29c158665a61","resolution":{"observed_at":"2026-08-05T10:38:51.826906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:51.574469Z","title":"Predictive control barrier functions: Enhanced safety mechanisms for learning- based control","venue":null,"work_id":"b63d9d93-9034-4002-9d0c-badb91580736","year":2022},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:50.208995Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:71a6d4e8b3b45de29b4a63e3addf24e01880d14993e35f11fcb61e699f6a2d0b","observation_id":"bd5e3e35-228c-4cd6-a484-f72755fbaeaa","resolution":{"observed_at":"2026-08-05T10:38:51.636142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:51.296655Z","title":"Safety verification and controller synthesis for systems with input constraints","venue":null,"work_id":"dd050885-d39e-4515-9b0a-9fca23909160","year":2023},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:50.295740Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:edb1fb3a60b29fce05fe528262b3caef28bfd7d86b1833c833f6a91a9fb0d254","observation_id":"21986006-437c-4d3b-8a4c-1e69aed09719","resolution":{"observed_at":"2026-08-05T10:38:51.426867Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:51.114486Z","title":"Safety-critical model predictive control with discrete-time control barrier func- tion","venue":null,"work_id":"2149d204-3b97-4b4f-8965-f3d52ff8ae05","year":2021},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:50.430275Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:00a29f88250001a7337f648349fc58521e15b2045700907d274a140e9a6439de","observation_id":"adc4b2ed-6bd0-4890-a5fb-1b3218a8ed3c","resolution":{"observed_at":"2026-08-05T10:38:51.199076Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:50.899859Z","title":"Exact verification of relu neural control barrier functions","venue":null,"work_id":"f82275ce-205a-41db-8ba6-0936f8002d52","year":2023},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:50.555484Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:beda413a0b3922feb31f20b54574fe82f963eff5e9f5c86b04bfe2683b515260","observation_id":"9bb434f6-3bac-4ed0-8663-04d06c0aef27","resolution":{"observed_at":"2026-08-05T10:38:51.016557Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T10:38:55.819400Z","title":null,"venue":null,"work_id":"2b789f22-f5da-4caf-9872-5edbf9ce4423","year":2021},"citing_paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","version":1},"reference_index":1350,"source":"pdf_text","source_observed_at":"2026-08-05T10:38:47.841921Z"},"links":{"citing_paper":"/paper/2509.03899"},"observation_digest":"sha256:ce1f0c8362ba4c7444d8b2c41865376b93aa3a06fed786b5560b9220c301bbcd","observation_id":"dc603502-b4a4-4df9-871f-e95409e06cbf","resolution":{"observed_at":"2026-08-05T10:38:55.928430Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.03899","last_updated":"2025-09-04T05:47:24Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-07T03:49:41.618654Z","submitted_at":"2025-09-04T05:47:24Z","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":9,"verified_exact":1,"verified_fuzzy":26},"total_outbound_references":37},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:2509.03899."}