Paper Citation Record · LEDGER

Safety Certification in the Latent space using Control Barrier Functions and World Models

As of 10 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2507.13871.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.13871 v1

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T16:20:59.550759Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

26 of 26 outbound references displayed

verified exact2
verified fuzzy11
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0ddae7e4-388e-4532-b0dd-729aaf61c2b9 · outbound

This paper cites Constrained policy op- timization,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Constrained policy op- timization,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.279556Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e800a7ea-4514-4bee-b6c4-9f3f5da9ae6f · outbound

This paper cites Model-based safe deep reinforcement learning via a constrained proximal policy optimization algorithm,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Model-based safe deep reinforcement learning via a constrained proximal policy optimization algorithm,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.294301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3158e583-649b-437b-b31f-af5b0ac55017 · outbound

This paper cites Safe model-based reinforcement learning with stability guarantees,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Safe model-based reinforcement learning with stability guarantees,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.309021Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6b4969b-d966-4eaf-ba52-18272f1a83cf · outbound

This paper cites On reachability and minimum cost optimal control,.

Safety Certification in the Latent space using Control Barrier Functions and World Models On reachability and minimum cost optimal control,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:21:00.784026Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5a25c4f1-4a59-48a0-9dbb-8be91232efb9 · outbound

This paper cites Hamilton-jacobi reachability: A brief overview and recent advances,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Hamilton-jacobi reachability: A brief overview and recent advances,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:21:00.747191Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 829275cd-344f-47df-aa68-4305a3ed6ce4 · outbound

This paper cites A physics- informed machine learning framework for safe and optimal control of autonomous systems,.

Safety Certification in the Latent space using Control Barrier Functions and World Models A physics- informed machine learning framework for safe and optimal control of autonomous systems,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.343296Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2aff77a-0b60-4032-895d-875b33ded935 · outbound

This paper cites Control barrier function based quadratic programs for safety critical systems,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Control barrier function based quadratic programs for safety critical systems,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.354485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85f88492-dec7-46fa-b56b-89673ef14f2a · outbound

This paper cites Control barrier functions: Theory and applications,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Control barrier functions: Theory and applications,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.362082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dac9f84f-d3b8-466d-ac2d-d7c68fc6f347 · outbound

This paper cites Barrier certificates for nonlinear model validation,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Barrier certificates for nonlinear model validation,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:21:00.607024Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 55c3f950-d5ab-4be4-9624-8d592b32db20 · outbound

This paper cites Formal synthesis of stochastic systems via control barrier certificates,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Formal synthesis of stochastic systems via control barrier certificates,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:21:00.567201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 60493485-7c49-44ad-b862-dccad2236325 · outbound

This paper cites Learning for safety-critical control with control barrier functions,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Learning for safety-critical control with control barrier functions,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:21:00.506762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c6c52326-34d3-4c31-a1d2-484e62212dc1 · outbound

This paper cites Control Barrier Functions in Dynamic UAVs for Kinematic Obstacle Avoidance: A Collision Cone Approach.

Safety Certification in the Latent space using Control Barrier Functions and World Models Control Barrier Functions in Dynamic UAVs for Kinematic Obstacle Avoidance: A Collision Cone Approach

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:21:00.198049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 24d2f45d-eb74-4d66-8600-d0a48fd6dba2 · outbound

This paper cites Control barrier functions for unknown nonlinear systems using gaussian processes,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Control barrier functions for unknown nonlinear systems using gaussian processes,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:21:00.457576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5799cb56-99f2-4d83-ba13-9e2914be1e52 · outbound

This paper cites Sablas: Learning safe control for black-box dynamical systems,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Sablas: Learning safe control for black-box dynamical systems,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:21:00.391078Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b7ff126d-1b4d-404c-b0ba-c0b7d780ccc9 · outbound

This paper cites Learning a Formally Verified Control Barrier Function in Stochastic Environment.

Safety Certification in the Latent space using Control Barrier Functions and World Models Learning a Formally Verified Control Barrier Function in Stochastic Environment

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.445391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b1772a4-a0b4-4101-8cdf-77638e7761ae · outbound

This paper cites Enforcing safety for vision-based controllers via control barrier functions and neural radiance fields,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Enforcing safety for vision-based controllers via control barrier functions and neural radiance fields,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:21:00.358417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2bdde930-6605-497d-b584-6fa22bc4b1aa · outbound

This paper cites Safe control using vision- based control barrier function (v-cbf),.

Safety Certification in the Latent space using Control Barrier Functions and World Models Safe control using vision- based control barrier function (v-cbf),

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:21:00.300012Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 377f17c9-3637-4c34-a109-c6ca194f2327 · outbound

This paper cites Point cloud-based control barrier function regression for safe and efficient vision-based control,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Point cloud-based control barrier function regression for safe and efficient vision-based control,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:21:00.269094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c1cfe240-b8d1-4807-9acd-11245116c739 · outbound

This paper cites Neural Control Barrier Functions for Safe Navigation.

Safety Certification in the Latent space using Control Barrier Functions and World Models Neural Control Barrier Functions for Safe Navigation

Reference 19

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:21:00.041490Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 71c2fea9-93f6-4d1e-b3d9-ff76e9d8dd41 · outbound

This paper cites Semi-supervised safe visuomotor policy synthesis using barrier certificates,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Semi-supervised safe visuomotor policy synthesis using barrier certificates,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:21:00.238371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3e462504-4a7d-4bc8-8a9e-e4ec281c6e69 · outbound

This paper cites DINO-WM: World Models on Pre-trained Visual Features enable Zero-shot Planning.

Safety Certification in the Latent space using Control Barrier Functions and World Models DINO-WM: World Models on Pre-trained Visual Features enable Zero-shot Planning

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.513013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0754bc0d-2ce2-4201-9553-828b841e4785 · outbound

This paper cites Generalizing safety beyond collision-avoidance via latent-space reachability analysis,.

Safety Certification in the Latent space using Control Barrier Functions and World Models Generalizing safety beyond collision-avoidance via latent-space reachability analysis,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.519096Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ac2bd9f-4f06-4ec1-a294-b19c282be5c2 · outbound

This paper cites CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions.

Safety Certification in the Latent space using Control Barrier Functions and World Models CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.528043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ef5aa15-8bf6-4dda-b077-41719ee991e5 · outbound

This paper cites Mastering Diverse Domains through World Models.

Safety Certification in the Latent space using Control Barrier Functions and World Models Mastering Diverse Domains through World Models

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.540304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6591868e-8a30-4a08-870a-0411358e836f · outbound

This paper cites DINOv2: Learning Robust Visual Features without Supervision.

Safety Certification in the Latent space using Control Barrier Functions and World Models DINOv2: Learning Robust Visual Features without Supervision

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.550759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9802205b-805d-421e-a20e-d946ab9b1708 · outbound

This paper cites Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields.

Safety Certification in the Latent space using Control Barrier Functions and World Models Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-06T16:20:59.465660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.