{"as_of":"2026-08-11T16:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1b9dea554b3862ef7a3f898ccb3cb7015cdfba918c69a85facd335eaa9418b80","coverage":[{"denominator":61,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":61,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T22:30:00.085770Z","state":"measured"},{"denominator":63,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":63,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-15T13:50:40.279904Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-15T13:50:52.404704Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"cited_work":{"arxiv_id":"2506.21697","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.21697","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Stochastic neural control barrier functions","venue":null,"work_id":"216a6fc6-f912-4f8a-88f9-176588bf8dc6","year":2025},"citing_paper":{"arxiv_id":"2603.10572","last_updated":"2026-05-05T14:21:30Z","snapshot_observed_at":"2026-07-06T22:48:39.649787Z","submitted_at":"2026-03-11T09:25:41Z","title":"Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-15T13:50:40.279904Z"},"links":{"cited_paper":"/paper/2506.21697","citing_paper":"/paper/2603.10572"},"observation_digest":"sha256:7b7003973f53d9e0d030c91bfa87c545bd8efb4d48c0fb1de2595410a62eb8f9","observation_id":"6089ded3-d32f-4d1b-a7b6-4b2b3d243ba5","resolution":{"observed_at":"2026-05-15T13:50:52.412824Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"cited_work":{"arxiv_id":"2506.21697","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.21697","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Stochastic neural control barrier functions","venue":null,"work_id":"216a6fc6-f912-4f8a-88f9-176588bf8dc6","year":2025},"citing_paper":{"arxiv_id":"2605.03595","last_updated":"2026-05-05T10:15:04Z","snapshot_observed_at":"2026-08-11T01:55:32.038665Z","submitted_at":"2026-05-05T10:15:04Z","title":"Almost Sure Reachability in Continuous-time Stochastic Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-07T14:00:32.560692Z"},"links":{"cited_paper":"/paper/2506.21697","citing_paper":"/paper/2605.03595"},"observation_digest":"sha256:8e611fc9ca4b3330f3186aacd2a8698481e8babf0f13cae02ca5698e5c13d1f9","observation_id":"ffdac881-0af7-4239-817e-398d93ed5e6f","resolution":{"observed_at":"2026-05-12T10:56:30.202282Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2506.21697/citation-record","integrity":"/paper/2506.21697/integrity","json":"/paper/2506.21697/citation-record.json","paper":"/paper/2506.21697"},"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-06T22:30:03.302588Z","title":"Safety critical systems: Challenges and directions,","venue":null,"work_id":"4caae096-93e2-4f2d-a3e4-4ce057583396","year":2002},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:28.688253Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:115884f58a6f2acb50c0440d070b5459a38dda64839480bd8e4ce142a60667de","observation_id":"7fb499ae-8b31-4365-82e4-faa6290a1c88","resolution":{"observed_at":"2026-08-06T22:30:03.323175Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:03.235308Z","title":"Planning and decision- making for autonomous vehicles,","venue":null,"work_id":"ac469710-4c9b-44f6-8499-8dcf2d259eb2","year":2018},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.667697Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:b3c04f6418ac1c8da4b288e4e1f81bf6f83f937f295491fff25d7b93fe17ee6e","observation_id":"9e148c61-14dd-4540-a166-d04f7664d9f8","resolution":{"observed_at":"2026-08-06T22:30:03.272008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:03.174380Z","title":"Learning safe, generalizable perception-based hybrid control with certificates,","venue":null,"work_id":"559985d3-1f5e-4cb7-bac9-df42051d1c72","year":1904},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.684703Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:b68603fd28a862d594ab99edb56be59ceb54830bfa9dbd9347fd55ef4270b98d","observation_id":"83b55916-b7aa-4f31-a1b2-6db0280f1e09","resolution":{"observed_at":"2026-08-06T22:30:03.210378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:03.055079Z","title":"Control barrier functions: Theory and applications,","venue":null,"work_id":"c44b9c9c-6995-4d61-9e06-0854c7cfa26f","year":2019},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.701685Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:e768784b6cc2d2d2231ecce944995361b01f0c0a6b4dcca2160e7b14bd18de3c","observation_id":"894b6fce-1aa3-4109-a533-c2eda155833b","resolution":{"observed_at":"2026-08-06T22:30:03.097430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:02.964524Z","title":"Hamilton-jacobi reachability: A brief overview and recent advances,","venue":null,"work_id":"723e07b4-e0cd-4cc5-94a6-42e8beae8d3f","year":2017},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.724885Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:1a2832bf723be21c749be153fd3a84c3741d8d73dbfb51e0747b70b76c01724e","observation_id":"b92cde46-0ab1-4edc-a92d-8493f69a9a89","resolution":{"observed_at":"2026-08-06T22:30:03.002698Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.11057","last_updated":"2025-05-28T10:55:13Z","snapshot_observed_at":"2026-08-07T18:15:00.833306Z","submitted_at":"2025-02-16T09:46:17Z","title":"A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems","version":3},"cited_work":{"arxiv_id":"2502.11057","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.11057","snapshot_observed_at":"2026-08-06T22:30:00.369725Z","title":"A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems","venue":"cs.RO","work_id":"8a1e5bde-19e0-4bc9-9c7b-69d1dafa3348","year":2025},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.755693Z"},"links":{"cited_paper":"/paper/2502.11057","citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:d49ff5e6f8c09ce4c7fedc951e236597bf053c784a92f48bb3c27adcb45a7574","observation_id":"d00ae5b9-7110-4b74-ae95-5d2cdced10db","resolution":{"observed_at":"2026-08-06T22:30:00.378603Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:02.901462Z","title":"Robust control barrier–value functions for safety-critical control,","venue":null,"work_id":"745ce1f8-1982-4085-bfc2-dcf31575e612","year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.812439Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:fa1cac2f210fc3ec009689a569f8223d889b5fdf9098eb4761fdc87cccd2bc27","observation_id":"3e49835d-8dcf-4609-b4b3-b6e59fd0876b","resolution":{"observed_at":"2026-08-06T22:30:02.926421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:58.846730Z","title":"Safe learning in robotics: From learning-based control to safe reinforcement learning,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.846730Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:115d9326c6664d9db60a09375f6aad0eae67e7731e07fddd6ed5f4dffb07b745","observation_id":"62377997-1f88-49e6-9beb-cc97608ebb27","resolution":{"observed_at":"2026-08-06T22:29:58.846730Z","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-06T22:30:02.788209Z","title":"Combining model-based design and model-free policy optimization to learn safe, stabilizing controllers,","venue":null,"work_id":"92b2e13b-8992-4dee-b433-23c542c1c97c","year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.868730Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:c23540f8578dbb13dc0ab27d942277511fafe502ecdb28e08290b4ab302ecf58","observation_id":"592abcd3-1ff6-47ac-8264-1c8a239324d0","resolution":{"observed_at":"2026-08-06T22:30:02.823261Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1901.10031","last_updated":"2019-02-11T20:52:42Z","snapshot_observed_at":"2026-08-04T06:42:19.463125Z","submitted_at":"2019-01-28T23:14:58Z","title":"Lyapunov-based Safe Policy Optimization for Continuous Control","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1901.10031","snapshot_observed_at":"2026-08-06T22:29:58.905303Z","title":"Lyapunov-based safe policy optimization for continuous control,","venue":null,"work_id":null,"year":1901},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.905303Z"},"links":{"cited_paper":"/paper/1901.10031","citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:5212a36fa6391f5d382fb5e193fae080eafc9f9087d6c70132c352a7688b0aa5","observation_id":"10ed11ad-9e28-4bc6-b30e-8e67da3ff15e","resolution":{"observed_at":"2026-08-06T22:29:58.905303Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:58.922110Z","title":"Control barrier function based quadratic programs with application to adaptive cruise control,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.922110Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:af38ea8eb7dc91d9905f168e8aafeb9ad4beb6ac764e9bb283351a6dcf9b6d65","observation_id":"a1477736-a7a8-41a6-b02f-4c0d37e838e2","resolution":{"observed_at":"2026-08-06T22:29:58.922110Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:58.938149Z","title":"Formal synthesis of stochastic systems via control barrier certificates,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.938149Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:42bc8d4fb8d7156c79363bd8b78569c46540566ea9aad10c7ee768bdfb84e965","observation_id":"d9a4e2ff-94e4-456e-ba4b-75611294011b","resolution":{"observed_at":"2026-08-06T22:29:58.938149Z","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-06T22:30:02.638468Z","title":"Verification and synthesis of control barrier functions,","venue":null,"work_id":"084941e8-d58c-4b5b-87c9-7bf3762d85db","year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.954509Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:ba454f83da649d1288fd58a5fb3422c22f65ee98a5e210cd916b473f1a1be421","observation_id":"d3ebdf63-3842-4f54-bba8-772e26cead00","resolution":{"observed_at":"2026-08-06T22:30:02.671865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:02.570441Z","title":"Synthesis of partially observed jump-diffusion systems via control barrier functions,","venue":null,"work_id":"7aeff50e-8891-4b19-a9f7-6d3d85c098e3","year":2020},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:58.976889Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:801ecca7813f12b88455378cb4826994c8722707414900e0b725d94aef3dbf6a","observation_id":"da773098-3b31-4afb-ba9e-677e3005e8c8","resolution":{"observed_at":"2026-08-06T22:30:02.601255Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:02.472441Z","title":"Safe control with learned certificates: A survey of neural Lyapunov, barrier, and contraction methods for robotics and control,","venue":null,"work_id":"ac174d12-1fd7-4355-9081-d2aa6ced8d1c","year":2023},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.008411Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:8d41d265dbe593a11a4a10a4c22b63d103a921c0fb3c374189c7bfd9b435a704","observation_id":"54fa639f-f6f6-4058-92ff-0969534fe508","resolution":{"observed_at":"2026-08-06T22:30:02.512955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:02.414832Z","title":"A semi-algebraic framework for verification and synthesis of control barrier functions,","venue":null,"work_id":"0258b768-4800-49df-99e4-0ac12b204b4f","year":2024},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.030944Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:153af7bd9fed6cb4c65829de63f90bf5dfc03722e7ce7f8fdd70473f4edd8dda","observation_id":"efa99bdd-e9f7-4022-b09d-49ec42b6599e","resolution":{"observed_at":"2026-08-06T22:30:02.436124Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:02.330885Z","title":"Verification and synthesis of robust control barrier functions: Multilevel polynomial optimization and semidefinite relaxation,","venue":null,"work_id":"f1385084-a74d-443e-813d-5c69b51628c7","year":2023},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.047166Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:775c74e1227ef5a62e87b25ccafa4d410da5124b7dcdb9ea46e5152f56cb6155","observation_id":"a3d9b52c-cafa-4ebb-9ae1-469a47b90841","resolution":{"observed_at":"2026-08-06T22:30:02.367886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:02.270357Z","title":"Convex synthesis and verification of control- lyapunov and barrier functions with input constraints,","venue":null,"work_id":"50492974-0b0f-42ac-83c4-566a34e10c32","year":2023},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.062383Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:b1fea24449f5a8b18f4fe86db62ca2c093e0078f632e8313ab5e87bc18755c7d","observation_id":"0f447810-435f-4cff-965d-d9332f55d8f9","resolution":{"observed_at":"2026-08-06T22:30:02.286443Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:02.200831Z","title":"A survey of end-to-end driving: Architectures and training methods,","venue":null,"work_id":"e64dc8fb-2cd3-40b9-bd6d-0650a8b801a7","year":2020},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.085900Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:94307cc6c27ee414356aa7e2a0310bb1985e8aac38954d4cfbac978b5d81f671","observation_id":"676e68c8-fc86-4409-b458-e1b3f1a47fc0","resolution":{"observed_at":"2026-08-06T22:30:02.232793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:59.106446Z","title":"Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.106446Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:b446f184677ae17e9c9ed98a800f1e5b92e0e9fe2a1509908fb4efaeadf1a804","observation_id":"0866f327-fc87-4e04-aac4-6333bbfc7f12","resolution":{"observed_at":"2026-08-06T22:29:59.106446Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1701.01887","last_updated":"2017-01-07T21:44:04Z","snapshot_observed_at":"2026-07-06T05:25:23.421733Z","submitted_at":"2017-01-07T21:44:04Z","title":"Deep Learning for Time-Series Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1701.01887","snapshot_observed_at":"2026-08-06T22:29:59.120691Z","title":"Deep learning for time-series analysis,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.120691Z"},"links":{"cited_paper":"/paper/1701.01887","citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:0b9286423694a26e4d71b9a8bddf280288cfdd62b8e2f8d213bfe9af7318f9f0","observation_id":"cd6716a1-fcf6-4b8f-b6a4-1ad14af1186e","resolution":{"observed_at":"2026-08-06T22:29:59.120691Z","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-06T22:30:02.087114Z","title":"How to train your neural control barrier function: Learning safety filters for complex input-constrained systems,","venue":null,"work_id":"d8cab708-2860-4273-a727-e70d93509cda","year":2024},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.144671Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:3d576f0b934d4ba8a4b1bddb2253adb40ba443aef6ce95c248372cd2446d3de1","observation_id":"049df2b8-c266-49d9-aa48-17ecba76d31e","resolution":{"observed_at":"2026-08-06T22:30:02.121215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:59.169500Z","title":"Safe nonlinear control using robust neural Lyapunov-barrier functions,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.169500Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:1d96e4e0b2ec5f8b793ab36a29e4eb06adcfe09b65d60c4366658d09198333e1","observation_id":"7ef22eaf-c211-46e5-a488-446edf8709ae","resolution":{"observed_at":"2026-08-06T22:29:59.169500Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:59.184009Z","title":"Learning a formally verified control barrier function in stochastic environment,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.184009Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:358742aa88a64a2d0485e687d329e61f730100089e1b274585e1662c8b4c5491","observation_id":"49053b63-6af5-4b17-9177-35385b58f802","resolution":{"observed_at":"2026-08-06T22:29:59.184009Z","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-06T22:30:01.952153Z","title":"Learning barrier functions with memory for robust safe navigation,","venue":null,"work_id":"d7e4ac77-2e23-4adf-9c7a-a6cc743aca47","year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.205612Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:f29e29a62199ef9df89c31d9b18f5a10c1f26c64b54bb7c926b93023172c9bb5","observation_id":"ac21f594-1070-47ef-bd13-63622d69e115","resolution":{"observed_at":"2026-08-06T22:30:02.001044Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:59.228779Z","title":"Barriernet: Differentiable control barrier functions for learning of safe robot control,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.228779Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:3ec354234f4ccc2711365198260a647dff23459f404a9891bbc5eea3f260a56f","observation_id":"5de1e693-a128-427d-a306-ca211e279e97","resolution":{"observed_at":"2026-08-06T22:29:59.228779Z","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-06T22:30:01.789464Z","title":"Learning safe neural network controllers with barrier certificates,","venue":null,"work_id":"4ffc45df-f2b0-4850-a222-5d8684135901","year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.237463Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:fdc67dfcee27f40e40a68faa8810360c350a40f683a3ff34ca957dad359433c6","observation_id":"e8058bf3-667b-4027-9693-7f718fb4578d","resolution":{"observed_at":"2026-08-06T22:30:01.825507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:01.724932Z","title":"Exact verification of relu neural control barrier functions,","venue":null,"work_id":"39050355-47cf-4486-8130-2ee6c729b860","year":2023},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.252530Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:00f14210f84f9ddd523756a8ae90fd61ce9c52f3baa0e177c87d297c0e7a4423","observation_id":"f8982507-eaaf-4649-b110-197dae1240fb","resolution":{"observed_at":"2026-08-06T22:30:01.744341Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:01.674063Z","title":"Fossil: A software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks,","venue":null,"work_id":"71a56920-84dd-4e93-bd5b-1818a6ebd68a","year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.277196Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:29456cd30e48d57975a6e6a826f56ca51e34d9bf8fcb876391ae8799776f92d4","observation_id":"a70a32f4-3046-44dd-8cb6-ccc18422f069","resolution":{"observed_at":"2026-08-06T22:30:01.687926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:01.649525Z","title":"Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models,","venue":null,"work_id":"c05580ae-4df0-486e-a2c1-8765f674709e","year":2024},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.299593Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:ca6e223733465fa28477971f7c4a1df62a50398363067fa54886f6fbfb842956","observation_id":"2793a5bf-01d7-433a-aefd-bfc2daa23e0c","resolution":{"observed_at":"2026-08-06T22:30:01.662487Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:01.605146Z","title":"Design-while- verify: correct-by-construction control learning with verification in the loop,","venue":null,"work_id":"3b26d566-68dd-4f3a-adb4-e193d1c4cf6d","year":2022},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.325585Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:112b55c0b734c7aa3b7e4b7a63260ccf86aeb2c00af4e429eedc46eb818591e1","observation_id":"a869cb17-eb97-43a0-8c94-0bac2efc5f57","resolution":{"observed_at":"2026-08-06T22:30:01.634752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:01.569093Z","title":"Seev: Synthesis with efficient exact verification for relu neural barrier functions,","venue":null,"work_id":"0e61832d-dea0-49d1-851d-6cefd8541112","year":2025},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.344018Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:13117513a24739fb6c12063cfce6a9d217c2efbaa91f2d49a544348313cc582b","observation_id":"5350b899-2970-43b5-b8dc-3e9d2d9dc46d","resolution":{"observed_at":"2026-08-06T22:30:01.588813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:59.371143Z","title":"Set invariance in control,","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.371143Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:7d3b7952a7847ac3a474728bb339a3b00f5626df435733b0fe53b875a9f3d5f0","observation_id":"1ce63ac6-d5c9-42a3-a084-d231caf5e471","resolution":{"observed_at":"2026-08-06T22:29:59.371143Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:59.387931Z","title":"Deepreach: A deep learning approach to high-dimensional reachability,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.387931Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:833cbf5701a8792affde958e8bf631e55c3ce5bcec28fe7c37f36ee8b97fd174","observation_id":"99b74fde-9974-46cb-9e01-dd40bc6d2cfc","resolution":{"observed_at":"2026-08-06T22:29:59.387931Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:59.411192Z","title":"End-to-end safe reinforcement learning through barrier functions for safety-critical continuous control tasks,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.411192Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:7d0f7f4a0d11efb41d8c5007317ab5da9d21bce566fc4a1b81499c3d6216916e","observation_id":"f0cd9461-4753-4b3b-a6e5-a8b7c16a936a","resolution":{"observed_at":"2026-08-06T22:29:59.411192Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:59.430270Z","title":"A framework for worst- case and stochastic safety verification using barrier certificates,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.430270Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:0579dda42a3b115bd44d19af61816a220ba94300571c5a867eb1ab31e3ad94e6","observation_id":"e18b78be-29fd-493c-bab3-977266ce6eb8","resolution":{"observed_at":"2026-08-06T22:29:59.430270Z","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-06T22:30:01.415311Z","title":"Safety index synthesis via sum-of-squares programming,","venue":null,"work_id":"dcfcbc6a-798b-45f3-bcfa-18a27147671a","year":2023},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.462655Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:50d161e81239679f3afbafd2cdd67667d769f110f34b91dd0bcd5c21c65dcb2e","observation_id":"76186f48-d096-409d-8326-80b7e1243b52","resolution":{"observed_at":"2026-08-06T22:30:01.453939Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.18914","last_updated":"2024-09-14T05:13:28Z","snapshot_observed_at":"2026-08-09T11:36:38.212739Z","submitted_at":"2024-06-27T06:06:37Z","title":"Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions","version":2},"cited_work":{"arxiv_id":"2406.18914","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.18914","snapshot_observed_at":"2026-08-06T22:30:00.291711Z","title":"Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions","venue":"eess.SY","work_id":"fef80e40-517f-4155-95b1-b3c487719a73","year":2024},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.484977Z"},"links":{"cited_paper":"/paper/2406.18914","citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:5d2ff6b6b1e3143ff11776579438189a60e5221318579ac6f044c03af45e5d0d","observation_id":"bda07c1a-e022-4c14-82ad-3f75ecf957df","resolution":{"observed_at":"2026-08-06T22:30:00.302562Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:01.361222Z","title":"SOS construc- tion of compatible control lyapunov and barrier functions,","venue":null,"work_id":"caa1d353-2c26-44a3-a93c-05751275696b","year":2023},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.524822Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:eaf3bf5307967f210a2358f94118805767a2a837211a6725c7ebbe3b87f11367","observation_id":"72dc166c-d9c6-435c-bbfa-f7fd0b0fb87b","resolution":{"observed_at":"2026-08-06T22:30:01.383269Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2101.05436","last_updated":"2021-04-17T05:34:12Z","snapshot_observed_at":"2026-08-04T23:47:54.327456Z","submitted_at":"2021-01-14T03:17:17Z","title":"Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2101.05436","snapshot_observed_at":"2026-08-06T22:29:59.543378Z","title":"Learning safe multi-agent control with decentralized neural barrier certificates,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.543378Z"},"links":{"cited_paper":"/paper/2101.05436","citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:7dddc874069e6c68a16fc6c28a6bcf6125709ce612ff3285704caec715416f27","observation_id":"ed8f3c86-9749-477e-850e-3cb9fb8df3ae","resolution":{"observed_at":"2026-08-06T22:29:59.543378Z","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-06T22:30:01.276708Z","title":"Quantifying safety of learning-based self-driving control using almost-barrier functions,","venue":null,"work_id":"cd2aed6d-291a-40af-b307-e83e67474db2","year":2022},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.574304Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:62201363aa3a0d957a9727fdb6c72c6618ad3e3e8e16923fc720205df69d6574","observation_id":"2f5f1333-cf44-4efe-9f8e-5b3146214297","resolution":{"observed_at":"2026-08-06T22:30:01.297178Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:01.230183Z","title":"Safe control under input limits with neural control barrier functions,","venue":null,"work_id":"f6b3d484-3bc5-40d3-88fa-ed27c2b3318e","year":2023},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.595139Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:90b2c541a53215c33778b035e35a5e3e2aee006add60e53aee8d4c7e37a82c26","observation_id":"0442b094-d528-4f62-9f58-9b10474c97bc","resolution":{"observed_at":"2026-08-06T22:30:01.237472Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:01.172468Z","title":"Fault tolerant neural control barrier functions for robotic systems under sensor faults and attacks,","venue":null,"work_id":"955db3ea-5c51-4d9a-af7c-95a89fa2a428","year":2024},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.622605Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:32e1c2db6b6ffdd7a4359fc44ecf05b86a04d173b29696fd67465dc012420c9b","observation_id":"1902aecf-1596-49c6-9b7c-0c7e2f128ad3","resolution":{"observed_at":"2026-08-06T22:30:01.197207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:01.107585Z","title":"Efficient neural network robustness certification with general activation functions,","venue":null,"work_id":"980f5dea-bd97-4aac-b80a-5ec6e5c561b6","year":2018},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.648363Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:dae0820418ef53b7bb56b0820f2e434bad2bd1e62b45e73359314132c40392f9","observation_id":"8480e9ef-cfa5-429a-bf19-c42455dc6569","resolution":{"observed_at":"2026-08-06T22:30:01.129278Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:01.023922Z","title":"Automatic perturbation analysis for scalable certified robustness and beyond,","venue":null,"work_id":"59a2a902-7f63-4023-93f8-59462f545a86","year":2020},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.680593Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:e9834f790cdcfb21377b8e1e457e4d74edeaa4c0fd32efdb1b32947441181881","observation_id":"89b44a90-d78a-47da-94e5-1fe033a41f3f","resolution":{"observed_at":"2026-08-06T22:30:01.036197Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:00.982872Z","title":"A convex relaxation barrier to tight robustness verification of neural networks,","venue":null,"work_id":"c65f12a1-ec04-4d1e-886e-332b70df0e88","year":2019},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.706504Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:eaedbaeeb026a2d6fc447d6f39013c3b57c169dd1bfddb3ecb1848a7ba474f3b","observation_id":"a13c01d5-1a4e-44de-a2b9-d528003aa77c","resolution":{"observed_at":"2026-08-06T22:30:01.005874Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:00.882159Z","title":"Fast and Complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers,","venue":null,"work_id":"ea0dce83-27f3-4d0b-bda8-353149ce6c7a","year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.747133Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:ddfd4b1462af3316b20190eb2ba973382f7e30f40c76caee8a0f77a65da555d3","observation_id":"b4804ac9-62b7-4066-81c6-e7bfc7719964","resolution":{"observed_at":"2026-08-06T22:30:00.924751Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:00.798084Z","title":"Beta-CROWN: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verifi- cation,","venue":null,"work_id":"301cf03d-06bc-48f9-96a6-1f48c07f815d","year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.773480Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:c9d07cac74bca28291dd7add8fe1f3a35a99b7dd83ba2c668fe29a98315c86ed","observation_id":"0770ee24-7311-42b5-956a-68c79f9c4545","resolution":{"observed_at":"2026-08-06T22:30:00.831163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:00.746909Z","title":"A branch and bound framework for stronger adversarial attacks of ReLU networks,","venue":null,"work_id":"a1196d82-7e8d-4045-bc08-85850ae34195","year":2022},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.791489Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:93330c50f8937ce6e8c70f513ae6df719faef62edb090537689d70ad5e1378e2","observation_id":"da79fb9e-7f93-4167-9b29-9ff404c20f73","resolution":{"observed_at":"2026-08-06T22:30:00.765104Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.16281","last_updated":"2024-10-04T21:42:25Z","snapshot_observed_at":"2026-07-06T19:37:16.203681Z","submitted_at":"2024-10-04T21:42:25Z","title":"Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.16281","snapshot_observed_at":"2026-08-06T22:29:59.832921Z","title":"Verification of neural control barrier functions with symbolic derivative bounds propagation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.832921Z"},"links":{"cited_paper":"/paper/2410.16281","citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:f42246c6b0db5ebdda733f8708457b00c9e51dfc9731496aa572b9d71f246d17","observation_id":"3379061a-e637-4b64-b56b-fdb78f59e544","resolution":{"observed_at":"2026-08-06T22:29:59.832921Z","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-06T22:30:00.685312Z","title":"Revuz and M","venue":null,"work_id":"1527b8d6-9727-4c89-9f02-b1e46f25fa80","year":2013},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.852395Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:1a27d9457fe27af22f0f28d21e6074fc97a56876560a5eed90f8c7a0964d602b","observation_id":"dec48e59-6d88-44f9-8b57-17ae02c3a995","resolution":{"observed_at":"2026-08-06T22:30:00.713317Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:59.873746Z","title":"Safety-critical control of stochastic systems using stochastic control barrier functions,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.873746Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:13c171a103cb14d9eda03d4230a313079cad07bcdc57bcc14b2ab50f971deb50","observation_id":"9fdcb0fd-d996-4f11-9907-fa6bbc587ef7","resolution":{"observed_at":"2026-08-06T22:29:59.873746Z","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-06T22:30:00.582945Z","title":"Semidefinite programming relaxations for semialgebraic problems,","venue":null,"work_id":"1ed84b98-b9a6-4a26-839a-34c007487fb4","year":2003},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.900690Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:dbfc6199938c351500c6452b224d476a5711ac6012e8b089e90f172ef523b2eb","observation_id":"b0aaf9a1-3a4a-4889-9570-bc6258ca53bc","resolution":{"observed_at":"2026-08-06T22:30:00.620191Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:00.513882Z","title":"Matou ˇsek and B","venue":null,"work_id":"3e7e2d40-bea0-4803-82ec-a455f6d31cf0","year":2007},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.932774Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:8bc122208cd7bb236508e128a81453bea51abccb7af2bc7f1cf7569e01f1d30e","observation_id":"172fd093-b397-472f-b9f1-a029d1863981","resolution":{"observed_at":"2026-08-06T22:30:00.542719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.02430","last_updated":"2023-12-05T02:14:51Z","snapshot_observed_at":"2026-07-06T16:56:57.763886Z","submitted_at":"2023-12-05T02:14:51Z","title":"Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.02430","snapshot_observed_at":"2026-08-06T22:29:59.949014Z","title":"Almost-sure safety guarantees of stochastic zero-control barrier functions do not hold,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.949014Z"},"links":{"cited_paper":"/paper/2312.02430","citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:6123fde98815dec40e5013ba6353ced27368fad785d76facc238aad6b28b73f0","observation_id":"aab4304d-0733-41cf-bda3-7051eedd45da","resolution":{"observed_at":"2026-08-06T22:29:59.949014Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:29:59.968189Z","title":"Training robust neural networks using lipschitz bounds,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.968189Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:deb9503eb8b4b9199dac384a1793a417af54b96074929271ba2e64529efb621a","observation_id":"1c2ef7ff-fdc7-46cc-b0b3-fa36bf8f5421","resolution":{"observed_at":"2026-08-06T22:29:59.968189Z","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-06T22:30:00.474729Z","title":"Constructive feedforward neural networks using hermite polynomial activation functions,","venue":null,"work_id":"7908a42f-89da-482f-ae89-08ab1c994f3e","year":2005},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T22:29:59.983409Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:1716fe1d4b59a78046902d5dbbe08e5f4c902d1bba7e682a90022216dc19e514","observation_id":"3a75a8b6-956b-4258-9916-a0197e35efce","resolution":{"observed_at":"2026-08-06T22:30:00.486815Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:00.002991Z","title":"Karatzas and S","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T22:30:00.002991Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:685b289e25f81022969c9c123912a2126e0b0fbecf781e375b398b7265534f67","observation_id":"a12b80a0-234a-4c1a-8a92-0ba5d252c237","resolution":{"observed_at":"2026-08-06T22:30:00.002991Z","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-06T22:30:00.448192Z","title":null,"venue":null,"work_id":"7d17fee5-79ae-4657-84cf-f08018286b72","year":2016},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T22:30:00.032371Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:bbeda1ac7a665c872edc98d5a4dc5fa79f446d5aec1a6f537a71a9b8d664b6d7","observation_id":"0cc74113-b628-400e-ae84-b31faf373ea6","resolution":{"observed_at":"2026-08-06T22:30:00.456962Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:00.420122Z","title":"Darboux-type barrier certificates for safety verification of nonlinear hybrid systems,","venue":null,"work_id":"0eb9da1c-ea04-4b5a-bdb2-6891967490c7","year":2016},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T22:30:00.063531Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:1d4ce0cb5c27a9bf016a332055c9fe90ed443abbecb59c251344a71910b48a7b","observation_id":"e76ab0ce-3cd4-4efb-bc5c-cd5429398ee9","resolution":{"observed_at":"2026-08-06T22:30:00.432163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:30:00.396111Z","title":"Safety verification of reactive controllers for uav flight in cluttered environments using barrier certificates,","venue":null,"work_id":"648dc658-55aa-4a4b-b20a-2f36f73a18d4","year":2016},"citing_paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T22:30:00.085770Z"},"links":{"citing_paper":"/paper/2506.21697"},"observation_digest":"sha256:e99524ea3bece63a6c50d264be757ce74f41e934cf3aa56405510b5b6494ce1d","observation_id":"7f556e10-7437-4410-8e09-3ffefbc16074","resolution":{"observed_at":"2026-08-06T22:30:00.405416Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.21697","last_updated":"2025-06-26T18:33:42Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-08T01:12:01.882352Z","submitted_at":"2025-06-26T18:33:42Z","title":"Stochastic Neural Control Barrier Functions"},"reference_resolution":{"displayed":61,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":2,"verified_fuzzy":39},"total_outbound_references":61},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 2 inbound Pith citation observations for arXiv:2506.21697."}