Paper Citation Record · LEDGER

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis

As of 18 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 4 inbound Pith citation observations for arXiv:2505.03830.

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

pith.paper-citation-record.v1
2505.03830 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T04:10:32.599773Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T14:20:10.637115Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T21:21:11.459058Z

Reference resolution

38 of 38 outbound references displayed

verified exact1
verified fuzzy21
unresolved15
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5bef9aab-9941-4099-b161-d937b533c7b6 · outbound

This paper cites Bansal, M.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Bansal, M

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.298734Z

Source-reported events for the cited work

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

Observation 23fbe4de-d8bd-428d-bd69-9ddf4d166b2c · outbound

This paper cites an unresolved cited work.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Unresolved cited work

Reference 2

Resolution: malformed identifier; no resolver link, observed 2026-08-16T04:10:32.426243Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6577471-e3da-431f-9837-286119db21c2 · outbound

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

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis On safety and liveness filtering using hamilton-jacobi reachability analysis

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.430869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 491e41a6-834e-404c-8d43-1846437b999e · outbound

This paper cites Optimizeddp: An efficient, user-friendly library for optimal control and dynamic programming.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Optimizeddp: An efficient, user-friendly library for optimal control and dynamic programming

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.435973Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb5d41b2-7c25-4d5d-b0d2-5468444b1767 · outbound

This paper cites Physics-informed neural networks (pinns) for fluid mechanics: A review.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Physics-informed neural networks (pinns) for fluid mechanics: A review

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.440714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a943ef3-797f-4b37-a43a-858c687aef8f · outbound

This paper cites Reachability Analysis for Black-Box Dynamical Systems.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Reachability Analysis for Black-Box Dynamical Systems

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.445583Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8ae30ff-2d1c-4974-a476-6e02d2a7ad05 · outbound

This paper cites Algorithm for overcoming the curse of dimension- ality for time-dependent non-convex Hamilton–Jacobi equations arising from optimal control and differential games problems.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Algorithm for overcoming the curse of dimension- ality for time-dependent non-convex Hamilton–Jacobi equations arising from optimal control and differential games problems

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.263557Z

Source-reported events for the cited work

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

Observation ed73837c-e406-4235-bacd-749b4b418e02 · outbound

This paper cites Algorithms for over- coming the curse of dimensionality for certain Hamil- ton–Jacobi equations arising in control theory and else- where.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Algorithms for over- coming the curse of dimensionality for certain Hamil- ton–Jacobi equations arising in control theory and else- where

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.247992Z

Source-reported events for the cited work

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

Observation 6a9beff3-4965-421f-b734-7cfccc71d501 · outbound

This paper cites Learning safe, generalizable perception- based hybrid control with certificates.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Learning safe, generalizable perception- based hybrid control with certificates

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.232062Z

Source-reported events for the cited work

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

Observation fa2bf6ed-f63f-4f8a-960b-d2853e364063 · outbound

This paper cites Safe nonlinear control using robust neural lyapunov- barrier functions.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Safe nonlinear control using robust neural lyapunov- barrier functions

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.216424Z

Source-reported events for the cited work

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

Observation 5ee6d3ee-4ba9-40f3-beda-7eac687982e3 · outbound

This paper cites Paral- lelotope bundles for polynomial reachability.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Paral- lelotope bundles for polynomial reachability

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.200670Z

Source-reported events for the cited work

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

Observation d1fca5a6-1a7a-489e-a6d1-23a1958dc250 · outbound

This paper cites Reach-avoid problems with time-varying dynam- ics, targets and constraints.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Reach-avoid problems with time-varying dynam- ics, targets and constraints

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.184786Z

Source-reported events for the cited work

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

Observation 2f7ecdab-1f73-4cf7-831e-5c125e99d084 · outbound

This paper cites Bridging hamilton-jacobi safety analysis and reinforcement learn- ing.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Bridging hamilton-jacobi safety analysis and reinforcement learn- ing

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.168436Z

Source-reported events for the cited work

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

Observation 2d3485bf-8c49-4e80-ab99-9b8dfe9b9ca2 · outbound

This paper cites SpaceEx: Scalable verification of hybrid systems.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis SpaceEx: Scalable verification of hybrid systems

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.151533Z

Source-reported events for the cited work

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

Observation d614a409-5ecc-4787-badb-74a24f03fcac · outbound

This paper cites Convex computation of the region of attraction of polynomial control systems.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Convex computation of the region of attraction of polynomial control systems

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.135945Z

Source-reported events for the cited work

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

Observation 55c4745e-a20d-4967-bd49-92e86e9c6d7f · outbound

This paper cites Convergence Guarantees for Neural Network-Based Hamilton-Jacobi Reachability.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Convergence Guarantees for Neural Network-Based Hamilton-Jacobi Reachability

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-16T04:10:32.714072Z

Source-reported events for the cited work

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

Observation 5b630215-5077-4a02-825a-d92edf89e9c4 · outbound

This paper cites Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.496744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f87ae3eb-885b-4f28-ac2e-e55a337d5ca6 · outbound

This paper cites Isaacs: Iterative soft adversarial actor- critic for safety.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Isaacs: Iterative soft adversarial actor- critic for safety

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.120663Z

Source-reported events for the cited work

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

Observation 9ced1135-2827-45b4-b0e0-f7a5b8aef251 · outbound

This paper cites On ellip- soidal techniques for reachability analysis.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis On ellip- soidal techniques for reachability analysis

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.105726Z

Source-reported events for the cited work

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

Observation ef6dc5ff-57a0-4296-9a94-59fabef1a318 · outbound

This paper cites Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.510603Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e5492e8-c143-4816-9677-4a8d59b2eaf1 · outbound

This paper cites Physics-informed neural operator for learning partial differential equations, 2022.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Physics-informed neural operator for learning partial differential equations, 2022

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.091028Z

Source-reported events for the cited work

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

Observation d3c2207b-6249-46a5-a066-57161776f445 · outbound

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

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Verification of neural reachable tubes via scenario optimization and conformal prediction

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.519472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 782d4340-585d-47dd-a43f-53f6583bcfaa · outbound

This paper cites On reachability and minimum cost optimal control.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis On reachability and minimum cost optimal control

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.523907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5ebd824-6803-4b33-93d5-f005f0d4af06 · outbound

This paper cites Lagrangian methods for approximating the viability kernel in high- dimensional systems.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Lagrangian methods for approximating the viability kernel in high- dimensional systems

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.054321Z

Source-reported events for the cited work

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

Observation 98e68b3e-6f37-4c3d-989f-c77e57ee5b57 · outbound

This paper cites Control design along trajectories with sums of squares programming.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Control design along trajectories with sums of squares programming

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.038754Z

Source-reported events for the cited work

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

Observation 5cbe2d11-babf-4c92-8279-753c6c20967d · outbound

This paper cites Margellos and J.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Margellos and J

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.023026Z

Source-reported events for the cited work

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

Observation 347a434a-893c-4d83-a53e-6ac1672d49c7 · outbound

This paper cites A novel sequential method to train physics informed neural networks for allen cahn and cahn hilliard equations.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis A novel sequential method to train physics informed neural networks for allen cahn and cahn hilliard equations

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:33.007684Z

Source-reported events for the cited work

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

Observation abd059de-2022-4676-973f-27dc3ca18e27 · outbound

This paper cites Mitchell.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Mitchell

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:32.991955Z

Source-reported events for the cited work

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

Observation 4fed6dd1-ea01-40ce-82bb-69814826dfed · outbound

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

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.552227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4896fdda-e4e8-4200-b16d-48a514f50975 · outbound

This paper cites Adaptive deep learning for high-dimensional hamilton– jacobi–bellman equations.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Adaptive deep learning for high-dimensional hamilton– jacobi–bellman equations

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:32.965473Z

Source-reported events for the cited work

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

Observation 0f9225d4-931c-4031-b016-6dd483f44309 · outbound

This paper cites Raissi, P.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Raissi, P

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.560923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5309f956-7b21-40f5-8e71-af0c410ce2e9 · outbound

This paper cites Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.575690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee2b6d11-0014-435c-b5a8-aa8587ccc38a · outbound

This paper cites Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-16T04:10:32.580223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c75e3328-1ecb-4e3c-8d5c-23df822fac51 · outbound

This paper cites (px,py,pz) denotes the position and (vx,vy,vz) denotes the linear velocities.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis (px,py,pz) denotes the position and (vx,vy,vz) denotes the linear velocities

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:32.931858Z

Source-reported events for the cited work

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

Observation 3e16813a-62c5-417d-9bd7-64cf48eef270 · outbound

This paper cites an unresolved cited work.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:10:32.915623Z

Source-reported events for the cited work

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

Observation 66a1b2fe-af9b-456a-bb03-01a3305b83cc · outbound

This paper cites The kinematic-mode dynamics are: f =   v cos(θyaw) v sin(θyaw) ˙ϕ a v lr+lf tan(ϕ) a lr+lf tan(ϕ) + v (lr+lf ) cos2(ϕ) ˙ϕ 0  .

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis The kinematic-mode dynamics are: f =   v cos(θyaw) v sin(θyaw) ˙ϕ a v lr+lf tan(ϕ) a lr+lf tan(ϕ) + v (lr+lf ) cos2(ϕ) ˙ϕ 0  

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:10:32.900857Z

Source-reported events for the cited work

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

Observation 2bdbd635-d98a-4d1e-b6f5-49c55bdced2b · outbound

This paper cites an unresolved cited work.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:10:32.885273Z

Source-reported events for the cited work

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

Observation 6e5fe952-d878-45a3-8e57-69da1dae52f8 · outbound

This paper cites an unresolved cited work.

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:10:32.947893Z

Source-reported events for the cited work

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

Pith citing papers

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

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

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 9a08ad40-fb74-4cf4-beea-b6a17cd14b2c · inbound

Manifold-constrained Hamilton-Jacobi Reachability Learning for Decentralized Multi-Agent Motion Planning cites this paper.

Manifold-constrained Hamilton-Jacobi Reachability Learning for Decentralized Multi-Agent Motion Planning Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T23:58:35.234717Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e150223-96e2-4dd1-be12-ed04c3015563 · inbound

Cooptimizing Safety and Performance Using Safety Value-Constrained Model Predictive Control cites this paper.

Cooptimizing Safety and Performance Using Safety Value-Constrained Model Predictive Control Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-05-11T21:21:11.465620Z

Source-reported events for the cited work

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

Observation 8aa28589-9f86-4915-bdcb-353054ae48a2 · inbound

Forward Trajectory Steering for Hamilton-Jacobi Reachability Analysis cites this paper.

Forward Trajectory Steering for Hamilton-Jacobi Reachability Analysis Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T14:20:10.637115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.