Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T13:35:51.819676Z
Paper Citation Record · LEDGER
Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks
As of 11 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-01T01:19:12.424654Z
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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+00:00.