{"as_of":"2026-08-12T11:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2c5465717558e82694e640d4ba7ca62811215f220c27fbf3ca32b63f8a24910f","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-12T06:34:41.77262+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-08T14:51:58.698621Z","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:77ea1038b28da73f32d81a2dd6a7342d977b0c406b7dfc5000da1b83ff790e24","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:16143787de3e880edc595d0d0be04e89e7e2d1d2fb8bc636cdcd69bd4fd6bbf7","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:ac070fb2deba742c9d8863919ab3bb75e3f6a98c2491bd07c65bdad76975b46a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:0da20795383456f3e71afbce10d5ab975fc8f26f644055a31627ebc41f4fa6ab","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:6033faeeef910f8e97c4e1eac02d3190116a815b5c6e6020f1674b88b7fb72b4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:844b4fab59a619d9d7c3e1b185592ebd456188dd9a9f7a44052f1288b70abe33","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:573540f862d9e9505049daa2e1db62dd3c27769f05425fddb97ea36649c9e022","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:1446d4571602a4b25e7250c2a67d9f4d6730d9a2a849b31ff3a6592dc5701717","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:fc098f77c83fed22663530fad177cf52de71f07ad51d3dc194d88eb8b21a5d1a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:04a2d63f237da90748b81df9a0f7b84c465cf7c7c0c7b670f3cc920823f9d7d8","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:9494cb2d7c29a5050a38cbf4482181795f8b68d75379aac2cc902cf34a5931dc","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-08T14:51:58.698621Z","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:6758a0ab0dc66ecf428190f40bd34d365137d6da8300c7dea24bebb60e31e22e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:34180965d1a658d97039d1c735953261be71b9d906afb612e99a8a7f8d6efe1a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:2b88768bb3d1e8c7867b1bb06d0e48b1b5e1228240706bfafb04e315530478c9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:95a9a261dd2b5a64228c097ffa706871a2d756ab893021a7eb45bc439fa061eb","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:98d18a2ca9105d6ab0c9c4f0588038ce94cba723ccb4cc355aa6f5243e191703","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:414f95c02665f8c920f52b83b781574fe9142adcf5d52251bc67cd94579927d7","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:ad228e486128ed01c986be8981b463837755a913da07af3d3b260be7e6573821","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-08T14:49:59.485488Z","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-08T14:51:58.698621Z","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:61467e3ed29e5b61ba32b2043e7e51304e781bf193922331de6dc00a15a12f1b","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-08T14:51:58.698621Z","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:c6f3c28a156230bec75edefbaf701942f48eb2e467eb6c997be4a0d7a23410fb","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:ef6870a8ba24d74e645445f913f2d197cb5742173edea01e93f3159c027d90d8","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-08T14:51:58.698621Z","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:df8205a2fe750562c6644e58741bc19b1077fdb84b72b6729759b2fb7a1f8727","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:b55d29d3ebba87e968a6cb338d4c5f38bd2e534e44f8b2edf44b3f6b331b08dd","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:fa35011a76bb24b9ec42ca4e3bcd93737ca139dc0a166aa562ceba9d423d1fa9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:b155ccc414ebe32c1f19d9d7d3e59fb5261aaa23696208e49551d9a45d7f1323","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:a90a73d1d71bb87bc7f619f40a058659ada5d051f9e2826d99381121818aea21","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:39cbf7fad471be3d606918e829cdb871579de67320b46b2e919e584574283fff","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:ca024fc9cd2f72ca4ff1b0e007a04f28bbe34b63989679e4aa14106a20f93aae","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:723f939685d3fa8d8fea00a3aabe09a87dfe1876861eefcccd6ef69dbfaaf998","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:c4da6a02f66dbf69c22077abd61060681d24678d59dfd6ea5adcba0fb90966ef","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:78d9e348a98fb1b95fa157f6f216a4be940e5cc9dd47e6f03ca75fa6f35d6ec4","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-08T14:51:58.698621Z","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:8ab17223ff1bde11a01194125f474f75770fd474e62cac2cab43f61a6bf1ec6a","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:ee31567142aa586b7541d5222950d4e11828a219eb357f73d051a2ca99af78b9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:dda8ae64f8f297aaff9582373e1b570412e1be5f7f84c6995afa313fc3fcb40d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:902c08c498a9061919b7bb69ebc4b269f1420ce9b6a47c3f865ceed78c5be650","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:a0862f6580ee51b873fa6d5a897817c80cbfe1cc990a6b4bac8bc07473662ec4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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:f8fe46d8e01429edb395eedf885aa834c8ee2be0a7428466b8fe2243354b9f72","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08T14:51:58.698621Z","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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:2509.03899."}