Paper Citation Record · LEDGER

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis

As of 10 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 1 inbound Pith citation observation for arXiv:2506.23346.

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

pith.paper-citation-record.v1
2506.23346 v1

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T21:50:28.937448Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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-08-06T16:23:10.097683Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T16:23:10.589481Z

Reference resolution

25 of 25 outbound references displayed

verified exact0
verified fuzzy11
unresolved13
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation aa061860-a021-4e7c-8101-a4b29e24ac43 · outbound

This paper cites https://github.com/ HJReachability/helperOC.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis https://github.com/ HJReachability/helperOC

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:50:31.125754Z

Source-reported events for the cited work

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

Observation 41203d50-fd7e-4cf4-9d15-c756d3835160 · outbound

This paper cites GPT-4 Technical Report.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis GPT-4 Technical Report

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:27.093736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 771ff281-211c-46a4-93ab-6dfb782dd67d · outbound

This paper cites Do As I Can, Not As I Say: Grounding Language in Robotic Affordances.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Do As I Can, Not As I Say: Grounding Language in Robotic Affordances

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:27.164082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00f0139c-b34f-4e5c-8d18-ee60585427ad · outbound

This paper cites A general Hamilton-Jacobi framework for non- linear state-constrained control problems.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis A general Hamilton-Jacobi framework for non- linear state-constrained control problems

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-06T21:50:27.230799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b14b542e-a05b-45ca-9fec-7f17271b901b · outbound

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

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Control barrier function based quadratic programs for safety critical systems

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:50:30.954101Z

Source-reported events for the cited work

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

Observation db3a04a7-f665-4b6b-9414-32d0d32267d3 · outbound

This paper cites Deepreach: A deep learning approach to high-dimensional reachability.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Deepreach: A deep learning approach to high-dimensional reachability

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:27.376170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 648534cc-54f6-48bc-be58-07809e82f975 · outbound

This paper cites Conservative Safety Critics for Exploration.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Conservative Safety Critics for Exploration

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:27.426347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc46484a-c66e-4af4-9f8f-49131953bb43 · outbound

This paper cites On safety and liveness filtering using hamilton-jacobi reachability analysis.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis On safety and liveness filtering using hamilton-jacobi reachability analysis

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:50:30.767966Z

Source-reported events for the cited work

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

Observation 943f4fbe-c82b-44b7-898e-166a1b1cf569 · outbound

This paper cites Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:27.583245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0349f919-333b-4b42-b64b-b155656696ed · outbound

This paper cites A survey on hallucination in large language models: Principles, taxon- omy, challenges, and open questions.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis A survey on hallucination in large language models: Principles, taxon- omy, challenges, and open questions

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:50:30.608336Z

Source-reported events for the cited work

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

Observation 8d67c4a9-9f6a-4441-b3cc-d8ac99acf677 · outbound

This paper cites $\pi_{0.5}$: a Vision-Language-Action Model with Open-World Generalization.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis $\pi_{0.5}$: a Vision-Language-Action Model with Open-World Generalization

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:27.700868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6490bce0-07c8-4153-bcde-54258b082571 · outbound

This paper cites Stagewise implementations of sequential quadratic programming for model-predictive control.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Stagewise implementations of sequential quadratic programming for model-predictive control

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:50:30.360311Z

Source-reported events for the cited work

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

Observation d5a9fb06-b421-40e4-aca1-1b75629405c9 · outbound

This paper cites Position: Llms can’t plan, but can help planning in llm-modulo frame- works.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Position: Llms can’t plan, but can help planning in llm-modulo frame- works

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:50:30.137837Z

Source-reported events for the cited work

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

Observation 96294aca-ada6-4830-a85d-48d6c525f494 · outbound

This paper cites Certifying LLM Safety against Adversarial Prompting.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Certifying LLM Safety against Adversarial Prompting

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:27.924372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16a56266-a218-4f2a-8ea9-fcaa06b582ca · outbound

This paper cites Code as policies: Language model programs for em- bodied control.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Code as policies: Language model programs for em- bodied control

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:28.037855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58a7692e-c854-44c0-9e56-ea70a43085e4 · outbound

This paper cites Generating formal safety assurances for high-dimensional reachability.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Generating formal safety assurances for high-dimensional reachability

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:50:29.929381Z

Source-reported events for the cited work

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

Observation 53dc6767-162d-467e-902e-b78a99181fa2 · outbound

This paper cites Verification of neural reachable tubes via scenario optimization and conformal prediction.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Verification of neural reachable tubes via scenario optimization and conformal prediction

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:50:29.773105Z

Source-reported events for the cited work

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

Observation eb0f1111-8217-4eb7-9bfa-173ea1752b59 · outbound

This paper cites Crocoddyl: An efficient and versatile framework for multi-contact optimal control.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Crocoddyl: An efficient and versatile framework for multi-contact optimal control

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:28.286653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd29b8e5-cb19-4569-b8c4-9efe3c67d8af · outbound

This paper cites A toolbox of level set methods.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis A toolbox of level set methods

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:50:29.649460Z

Source-reported events for the cited work

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

Observation f3710db7-38ea-42aa-9569-ed9acfb5ae92 · outbound

This paper cites Progprompt: Generating situated robot task plans using large language models.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Progprompt: Generating situated robot task plans using large language models

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:28.463748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6ae4c67-86a2-4f32-a6ef-f5bc2a766bd4 · outbound

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

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Learning to be Safe: Deep RL with a Safety Critic

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:28.564114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fad523e-1651-447b-ade4-d1874f98f4ec · outbound

This paper cites Gemini Robotics: Bringing AI into the Physical World.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Gemini Robotics: Bringing AI into the Physical World

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:28.641845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 628e9687-14aa-4324-b79f-3a53176f607c · outbound

This paper cites Attention is all you need.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Attention is all you need

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T21:50:28.720879Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb9c314d-ade0-4647-8667-3683f8f52d10 · outbound

This paper cites Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:50:29.447367Z

Source-reported events for the cited work

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

Observation 1dab6201-5760-415d-adc0-0cd8a9f9e097 · outbound

This paper cites Coop- timizing Safety and Performance With a Control- Constrained Formulation.

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis Coop- timizing Safety and Performance With a Control- Constrained Formulation

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T21:50:29.265427Z

Source-reported events for the cited work

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

Pith citing papers

Observation ac4ce7d1-724d-4816-8e46-40c16c4bec2f · inbound

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions cites this paper.

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:23:10.595755Z

Source-reported events for the cited work

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