{"as_of":"2026-08-08T09:32:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:95327938dbee4584ecf18de9ebd874c3a3cb8612d181ae3a5d8f8b45f0b0a53a","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:20:59.550759Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2507.13871/citation-record","integrity":"/paper/2507.13871/integrity","json":"/paper/2507.13871/citation-record.json","paper":"/paper/2507.13871"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:20:59.279556Z","title":"Constrained policy op- timization,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.279556Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:cf00efd7399ae8cf4eb7dacd9485c69ace90f0c72aad72988651c8617fe4c409","observation_id":"0ddae7e4-388e-4532-b0dd-729aaf61c2b9","resolution":{"observed_at":"2026-08-06T16:20:59.279556Z","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-06T16:20:59.294301Z","title":"Model-based safe deep reinforcement learning via a constrained proximal policy optimization algorithm,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.294301Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:7972c859fd62790a0c112e0521d5de78a7809e4f31556df108023b06998574c2","observation_id":"e800a7ea-4514-4bee-b6c4-9f3f5da9ae6f","resolution":{"observed_at":"2026-08-06T16:20:59.294301Z","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-06T16:20:59.309021Z","title":"Safe model-based reinforcement learning with stability guarantees,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.309021Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:bc887e910a4ddf98e0c98726c1df0ae41c54f77a115abe67e2b91d9a8e75d4dc","observation_id":"3158e583-649b-437b-b31f-af5b0ac55017","resolution":{"observed_at":"2026-08-06T16:20:59.309021Z","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-06T16:21:00.771937Z","title":"On reachability and minimum cost optimal control,","venue":null,"work_id":"8acd2fcd-5574-4dab-ab36-9d7af0b8b4e1","year":2004},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.322929Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:438740951598e85728ea7462c7ff04807f4c024d859123ce6018e3186d870136","observation_id":"c6b4969b-d966-4eaf-ba52-18272f1a83cf","resolution":{"observed_at":"2026-08-06T16:21:00.784026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T16:21:00.736376Z","title":"Hamilton-jacobi reachability: A brief overview and recent advances,","venue":null,"work_id":"9325301a-0594-4660-b5f2-44751b4b5917","year":2017},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.328875Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:2ae5c6400266d51fee786192847384120e9da4dec692131a36763646e0f8bbe6","observation_id":"5a25c4f1-4a59-48a0-9dbb-8be91232efb9","resolution":{"observed_at":"2026-08-06T16:21:00.747191Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T16:20:59.343296Z","title":"A physics- informed machine learning framework for safe and optimal control of autonomous systems,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.343296Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:7662f35cc01a3c276aae17ad473ae7b92d93e0c3d2a3646dca2a8c684995f1ab","observation_id":"829275cd-344f-47df-aa68-4305a3ed6ce4","resolution":{"observed_at":"2026-08-06T16:20:59.343296Z","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-06T16:20:59.354485Z","title":"Control barrier function based quadratic programs for safety critical systems,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.354485Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:d73376fb454e1faad8cb1bb85f6d2bfb9ee362b659c832e19535c8336ed74ec3","observation_id":"a2aff77a-0b60-4032-895d-875b33ded935","resolution":{"observed_at":"2026-08-06T16:20:59.354485Z","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-06T16:20:59.362082Z","title":"Control barrier functions: Theory and applications,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.362082Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:e95ed8ce482098e79abdad072b55c09aebc555639f4dc9ae068f71ccbe8f276b","observation_id":"85f88492-dec7-46fa-b56b-89673ef14f2a","resolution":{"observed_at":"2026-08-06T16:20:59.362082Z","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-06T16:21:00.598657Z","title":"Barrier certificates for nonlinear model validation,","venue":null,"work_id":"7f831975-0aed-405d-81d0-8ceaa273d30f","year":2006},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.371191Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:06422d36f4fccc0a3d02d8dceaedb60d3af6d3c6e59cf96bb244cfe10032d99e","observation_id":"dac9f84f-d3b8-466d-ac2d-d7c68fc6f347","resolution":{"observed_at":"2026-08-06T16:21:00.607024Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T16:21:00.555833Z","title":"Formal synthesis of stochastic systems via control barrier certificates,","venue":null,"work_id":"ccc51b53-f009-4cae-a100-651f777c66cd","year":2020},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.387005Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:247a8937c2f0341305db8e3fef611a9cfb6cb7b59027866844dcd0f8f954178f","observation_id":"55c3f950-d5ab-4be4-9624-8d592b32db20","resolution":{"observed_at":"2026-08-06T16:21:00.567201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T16:21:00.498340Z","title":"Learning for safety-critical control with control barrier functions,","venue":null,"work_id":"2ae1b24b-8dfc-40a6-9c92-525da9d22320","year":2020},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.398540Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:dd596cb875d64ec393325104ea115a97db4db34e9763f7781d16fd702da9f647","observation_id":"60493485-7c49-44ad-b862-dccad2236325","resolution":{"observed_at":"2026-08-06T16:21:00.506762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.15871","last_updated":"2024-03-15T16:01:40Z","snapshot_observed_at":"2026-07-06T15:08:53.431563Z","submitted_at":"2023-03-28T10:26:30Z","title":"Control Barrier Functions in Dynamic UAVs for Kinematic Obstacle Avoidance: A Collision Cone Approach","version":2},"cited_work":{"arxiv_id":"2303.15871","doi":null,"metadata_source":"pith","pith_arxiv_id":"2303.15871","snapshot_observed_at":"2026-08-06T16:21:00.184111Z","title":"Control Barrier Functions in Dynamic UAVs for Kinematic Obstacle Avoidance: A Collision Cone Approach","venue":"cs.RO","work_id":"027dc0ae-618a-410c-8602-230569c97f46","year":2023},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.413837Z"},"links":{"cited_paper":"/paper/2303.15871","citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:eadd41ec203907cda952e1e8fb8d71131d8ac6f0e0044685238f528d6de22984","observation_id":"c6c52326-34d3-4c31-a1d2-484e62212dc1","resolution":{"observed_at":"2026-08-06T16:21:00.198049Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T16:21:00.434286Z","title":"Control barrier functions for unknown nonlinear systems using gaussian processes,","venue":null,"work_id":"e9cc6eeb-01f8-4a92-a5ca-9b67861ff58d","year":2020},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.425479Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:582a38c21a1625a5e440c5c5674b73b56458520ce06740ac2625a3fd1c33d241","observation_id":"24d2f45d-eb74-4d66-8600-d0a48fd6dba2","resolution":{"observed_at":"2026-08-06T16:21:00.457576Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T16:21:00.383429Z","title":"Sablas: Learning safe control for black-box dynamical systems,","venue":null,"work_id":"eb8df0cb-9e06-4828-bc3d-9b7b6a89dcad","year":1928},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.437124Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:fdb7b6686c29463c9435195cf328d16c9b4ee447ec85e3318f9a07c20a42d8ad","observation_id":"5799cb56-99f2-4d83-ba13-9e2914be1e52","resolution":{"observed_at":"2026-08-06T16:21:00.391078Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.19332","last_updated":"2024-03-28T11:46:55Z","snapshot_observed_at":"2026-07-06T17:52:30.328601Z","submitted_at":"2024-03-28T11:46:55Z","title":"Learning a Formally Verified Control Barrier Function in Stochastic Environment","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.19332","snapshot_observed_at":"2026-08-06T16:20:59.445391Z","title":"Learning a formally verified control barrier function in stochastic environment,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.445391Z"},"links":{"cited_paper":"/paper/2403.19332","citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:55124119067dc052ca375822352a0d01785b1ff6f7ac057d3d99368cb4c8e100","observation_id":"b7ff126d-1b4d-404c-b0ba-c0b7d780ccc9","resolution":{"observed_at":"2026-08-06T16:20:59.445391Z","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-06T16:21:00.341149Z","title":"Enforcing safety for vision-based controllers via control barrier functions and neural radiance fields,","venue":null,"work_id":"95ba39f4-88b9-4a2c-8227-5728addd14c0","year":null},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.454121Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:316b86625a9c3f9d4447eb7ff9ecf9b8163c138d07f722466baa7792fa8e85c4","observation_id":"1b1772a4-a0b4-4101-8cdf-77638e7761ae","resolution":{"observed_at":"2026-08-06T16:21:00.358417Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T16:21:00.290779Z","title":"Safe control using vision- based control barrier function (v-cbf),","venue":null,"work_id":"2576f1c9-44c8-465b-af9a-f8e76dd222b1","year":2023},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.476219Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:7ef511787bc5d58ce19742427c30de08c635f96153157e97a2f17b9c12c87207","observation_id":"2bdde930-6605-497d-b584-6fa22bc4b1aa","resolution":{"observed_at":"2026-08-06T16:21:00.300012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T16:21:00.262232Z","title":"Point cloud-based control barrier function regression for safe and efficient vision-based control,","venue":null,"work_id":"e096d7b7-a0af-482c-9abf-839a97258a74","year":2024},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.483710Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:4a7c6a202321f67d27794ab6c4441c74585d45b3d9a71a9d713614a72638a7c6","observation_id":"377f17c9-3637-4c34-a109-c6ca194f2327","resolution":{"observed_at":"2026-08-06T16:21:00.269094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.19907","last_updated":"2024-07-29T11:34:32Z","snapshot_observed_at":"2026-07-06T18:53:18.201717Z","submitted_at":"2024-07-29T11:34:32Z","title":"Neural Control Barrier Functions for Safe Navigation","version":1},"cited_work":{"arxiv_id":"2407.19907","doi":null,"metadata_source":"pith","pith_arxiv_id":"2407.19907","snapshot_observed_at":"2026-08-06T16:21:00.023369Z","title":"Neural Control Barrier Functions for Safe Navigation","venue":"cs.RO","work_id":"7e5e2511-69b1-49ba-86e3-eb57742e75a2","year":2024},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.495021Z"},"links":{"cited_paper":"/paper/2407.19907","citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:bea4f49bf601f7e9a34a302de312128bb739977dfd8392f182ccaf47bae6c407","observation_id":"c1cfe240-b8d1-4807-9acd-11245116c739","resolution":{"observed_at":"2026-08-06T16:21:00.041490Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T16:21:00.231022Z","title":"Semi-supervised safe visuomotor policy synthesis using barrier certificates,","venue":null,"work_id":"4aaaa4de-b5d8-461e-b55c-82ace57e8694","year":2025},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.505236Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:40454a4f33612d113a8316e0d97792db3ceae45519714e57a9a9a3b1f308cde0","observation_id":"71c2fea9-93f6-4d1e-b3d9-ff76e9d8dd41","resolution":{"observed_at":"2026-08-06T16:21:00.238371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.04983","last_updated":"2025-02-01T02:40:49Z","snapshot_observed_at":"2026-07-06T19:46:54.707852Z","submitted_at":"2024-11-07T18:54:37Z","title":"DINO-WM: World Models on Pre-trained Visual Features enable Zero-shot Planning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.04983","snapshot_observed_at":"2026-08-06T16:20:59.513013Z","title":"Dino-wm: World models on pre-trained visual features enable zero-shot planning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.513013Z"},"links":{"cited_paper":"/paper/2411.04983","citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:30571bb789985b0a253d9773e29027e70ccf22337fdd2d140d76e7f03cdfaa9b","observation_id":"3e462504-4a7d-4bc8-8a9e-e4ec281c6e69","resolution":{"observed_at":"2026-08-06T16:20:59.513013Z","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-06T16:20:59.519096Z","title":"Generalizing safety beyond collision-avoidance via latent-space reachability analysis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.519096Z"},"links":{"citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:771286d78c3f3cb24cf1a2162f97372824877df023db95bb451d07f4da5121dd","observation_id":"0754bc0d-2ce2-4201-9553-828b841e4785","resolution":{"observed_at":"2026-08-06T16:20:59.519096Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.17395","last_updated":"2025-05-17T13:16:54Z","snapshot_observed_at":"2026-08-07T16:55:23.968596Z","submitted_at":"2025-03-18T10:01:06Z","title":"CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.17395","snapshot_observed_at":"2026-08-06T16:20:59.528043Z","title":"Cp-ncbf: A conformal prediction-based approach to synthesize verified neural control barrier functions,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.528043Z"},"links":{"cited_paper":"/paper/2503.17395","citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:81072d23ef07b7a50e73f413e65998585c24ce54e9c43d749bb6330e72e609ed","observation_id":"3ac2bd9f-4f06-4ec1-a294-b19c282be5c2","resolution":{"observed_at":"2026-08-06T16:20:59.528043Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2301.04104","last_updated":"2024-04-17T17:41:20Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-01-10T18:12:16Z","title":"Mastering Diverse Domains through World Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.04104","snapshot_observed_at":"2026-08-06T16:20:59.540304Z","title":"Mastering diverse domains through world models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.540304Z"},"links":{"cited_paper":"/paper/2301.04104","citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:94e20aa775affa944ae1b4c334ce408aa66bb5b511eb4d1dbe691402b53577e4","observation_id":"0ef5aa15-8bf6-4dda-b077-41719ee991e5","resolution":{"observed_at":"2026-08-06T16:20:59.540304Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.07193","last_updated":"2024-02-02T10:24:09Z","snapshot_observed_at":"2026-08-06T05:58:29.182448Z","submitted_at":"2023-04-14T15:12:19Z","title":"DINOv2: Learning Robust Visual Features without Supervision","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.07193","snapshot_observed_at":"2026-08-06T16:20:59.550759Z","title":"Dinov2: Learning robust visual features without supervision,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.550759Z"},"links":{"cited_paper":"/paper/2304.07193","citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:1858057641d3cbdea01962ec63ec2c55a190a428fffd933ceca69246554939b5","observation_id":"6591868e-8a30-4a08-870a-0411358e836f","resolution":{"observed_at":"2026-08-06T16:20:59.550759Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.12266","last_updated":"2023-02-28T14:29:43Z","snapshot_observed_at":"2026-07-06T13:56:03.708231Z","submitted_at":"2022-09-25T17:10:42Z","title":"Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.12266","snapshot_observed_at":"2026-08-06T16:20:59.465660Z","title":"Available: https://arxiv.org/abs/2209.12266","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-06T16:20:59.465660Z"},"links":{"cited_paper":"/paper/2209.12266","citing_paper":"/paper/2507.13871"},"observation_digest":"sha256:7b07d807c0985b8f2c336adfdd6ce51fdcce050c0b7220a7a94d0c895cd1393e","observation_id":"9802205b-805d-421e-a20e-d946ab9b1708","resolution":{"observed_at":"2026-08-06T16:20:59.465660Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.13871","last_updated":"2025-07-18T12:50:27Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-06T16:12:14.119565Z","submitted_at":"2025-07-18T12:50:27Z","title":"Safety Certification in the Latent space using Control Barrier Functions and World Models"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":2,"verified_fuzzy":11},"total_outbound_references":26},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2507.13871."}