Paper Citation Record · LEDGER

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks

As of 7 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 1 inbound Pith citation observation for arXiv:2506.15693.

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

pith.paper-citation-record.v1
2506.15693 v1

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:35:51.819676Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-01T01:19:12.424654Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-01T13:05:44.247464Z

Reference resolution

24 of 24 outbound references displayed

verified exact3
verified fuzzy15
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2fbd3cc5-6894-486f-916e-d71b5a4655ea · outbound

This paper cites Control barrier functions: Theory and applications.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Control barrier functions: Theory and applications

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:56.169656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d2f5a5e3-9871-47ba-b34a-963866c08cc0 · outbound

This paper cites Robust control barrier–value functions for safety- critical control.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Robust control barrier–value functions for safety- critical control

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:55.980398Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 96548dce-dc70-4b0d-bbfa-57f86b29b40d · outbound

This paper cites Safe control with learned certificates: A survey of neural lyapunov, barrier, and contrac- tion methods for robotics and control.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Safe control with learned certificates: A survey of neural lyapunov, barrier, and contrac- tion methods for robotics and control

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T13:35:49.372262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab0d5b9b-0339-449c-9b37-5bf3d2ae782a · outbound

This paper cites Fisac, Neil F.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Fisac, Neil F

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:55.844298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c3655757-be72-43ef-a0fb-7d4e8e1d34d1 · outbound

This paper cites Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey

Reference 5

Resolution: verified exact; local_arxiv, observed 2026-08-07T13:35:52.684774Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation aa990a63-3cce-495c-a024-54dd8ea96872 · outbound

This paper cites Learning to be Safe: Deep RL with a Safety Critic.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Learning to be Safe: Deep RL with a Safety Critic

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T13:35:49.671135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9aa0a19-8f82-4431-8c08-f5dd8cf8e781 · outbound

This paper cites Real-time safe control of neural network dynamic models with sound approximation.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Real-time safe control of neural network dynamic models with sound approximation

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:55.615762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2856e483-8af5-43e8-b5b1-948c7d94edf9 · outbound

This paper cites Verification of neural control barrier functions with symbolic derivative bounds propagation.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Verification of neural control barrier functions with symbolic derivative bounds propagation

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:55.409438Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2a5e0557-462b-4203-a235-e45121d5b6f0 · outbound

This paper cites Factorized Bilinear Models for Image Recognition.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Factorized Bilinear Models for Image Recognition

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-07T13:35:52.526930Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation aeab106f-690f-43dc-bd56-26351dff7755 · outbound

This paper cites Algorithms for Verifying Deep Neural Networks.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Algorithms for Verifying Deep Neural Networks

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T13:35:50.157809Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e599f86-db14-416b-9ea3-2aa869941b9f · outbound

This paper cites Control in a safe set: Ad- dressing safety in human-robot interactions.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Control in a safe set: Ad- dressing safety in human-robot interactions

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:55.132644Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a61981b7-d904-46ad-8425-ab14bd483236 · outbound

This paper cites The flexible, extensible and efficient toolbox of level set methods.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks The flexible, extensible and efficient toolbox of level set methods

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:54.953835Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a7162695-3f2e-45ca-b832-f59350b53cdc · outbound

This paper cites A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:54.659987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e99585f3-4c27-4dda-aff6-76b02ab28d42 · outbound

This paper cites Rawlings, David Q.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Rawlings, David Q

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:54.445561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0492399c-3376-4b85-bcb8-155b7de2c982 · outbound

This paper cites an unresolved cited work.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:35:54.273220Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 85f2e082-e725-4692-8836-3ec34871f147 · outbound

This paper cites Q-learning-based Model-free Safety Filter.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Q-learning-based Model-free Safety Filter

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-07T13:35:52.284753Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ddcb117f-d7b9-46c8-a7f7-75ca179fa84c · outbound

This paper cites Evaluating robustness of neural networks with mixed integer programming, 2019.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Evaluating robustness of neural networks with mixed integer programming, 2019

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:54.074743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2b995149-8620-4e4f-a176-cbffcc9df94b · outbound

This paper cites Refining control barrier functions through hamilton-jacobi reachability.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Refining control barrier functions through hamilton-jacobi reachability

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:53.861928Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 61b37ffd-d4cc-4480-9261-056eb0395814 · outbound

This paper cites Safe control algorithms using energy functions: A unified framework, benchmark, and new directions.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Safe control algorithms using energy functions: A unified framework, benchmark, and new directions

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:53.646961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a3c0c1c8-44ba-4442-9eed-11e995395e64 · outbound

This paper cites ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks

Reference 20

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T13:35:52.104192Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 40051687-8aff-4968-b03e-00dfc6887bc1 · outbound

This paper cites High-order control barrier functions.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks High-order control barrier functions

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:53.437816Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 331ba3c3-5a96-4922-88a9-8dcb1592c899 · outbound

This paper cites Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T13:35:51.600102Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 790ececd-18ec-4913-bd27-0b0bb3b18571 · outbound

This paper cites Efficient neural network robustness certification with general activation functions, 2018.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Efficient neural network robustness certification with general activation functions, 2018

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:53.235405Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d91299dd-6621-4a70-a06e-7692a4047e80 · outbound

This paper cites Safety index synthesis via sum-of-squares programming.

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks Safety index synthesis via sum-of-squares programming

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:35:52.954813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

Observation fccd5646-33a9-4858-b134-bb3114f025b2 · inbound

ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints cites this paper.

ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-07-01T13:05:44.249451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.