Paper Citation Record · LEDGER

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems

As of 18 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2505.03643.

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

pith.paper-citation-record.v1
2505.03643 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T23:56:00.393806Z

measured 22 of 22 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 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

22 of 22 outbound references displayed

verified exact4
verified fuzzy10
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c562049e-4338-4800-a5d8-d0425bab522f · outbound

This paper cites MPCC++: Model Predictive Contouring Control for Time-Optimal Flight with Safety Constraints.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems MPCC++: Model Predictive Contouring Control for Time-Optimal Flight with Safety Constraints

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T23:56:00.294632Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df6ee35c-3cca-4089-9fa7-932d9c643f7c · outbound

This paper cites Scal- able multi-robot cooperation for multi-goal tasks using reinforcement learning,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Scal- able multi-robot cooperation for multi-goal tasks using reinforcement learning,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:56:00.849936Z

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 3c95572a-8618-493f-84f5-0f7e3e7cb91b · outbound

This paper cites Learning robust autonomous navigation and locomotion for wheeled- legged robots,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Learning robust autonomous navigation and locomotion for wheeled- legged robots,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T23:56:00.305027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83dcb468-3a6b-4298-bc7d-26c31bc2e381 · outbound

This paper cites Reaching the limit in autonomous racing: Optimal control versus reinforcement learning,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Reaching the limit in autonomous racing: Optimal control versus reinforcement learning,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T23:56:00.309637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e321b1c6-df08-4963-9725-5d4f6af3532b · outbound

This paper cites Baier and J.-P.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Baier and J.-P

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T23:56:00.314738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5526dc83-84a0-4d56-abe4-83f19bc5c9c0 · outbound

This paper cites Backward reachability analysis of perturbed continuous-time linear systems using set propagation,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Backward reachability analysis of perturbed continuous-time linear systems using set propagation,

Reference 6

Resolution: verified exact; raw_fallback, observed 2026-08-15T23:56:00.623919Z

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 fd537659-178f-4ba7-8826-fdaebe3cadc9 · outbound

This paper cites Reachability analysis of multi-affine systems,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Reachability analysis of multi-affine systems,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:56:00.804816Z

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 8f6e9af0-8859-4f31-a69a-5771607fd559 · outbound

This paper cites Flow*: An analyzer for non-linear hybrid systems,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Flow*: An analyzer for non-linear hybrid systems,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:56:00.789984Z

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 b283d565-f5b0-4c36-8d60-c9ab6efc2bd4 · outbound

This paper cites The arch-comp friendly verification competition for continuous and hybrid systems,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems The arch-comp friendly verification competition for continuous and hybrid systems,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:56:00.774728Z

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 260e7ab6-d961-460a-9e2e-5f3732c55af7 · outbound

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

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Hamilton-jacobi reachability: A brief overview and recent advances,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T23:56:00.338980Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40a5e216-7b87-40f9-b7ab-c06974ff1dc9 · outbound

This paper cites Reachable polyhedral marching (rpm): A safety verification algorithm for robotic systems with deep neural network components,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Reachable polyhedral marching (rpm): A safety verification algorithm for robotic systems with deep neural network components,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:56:00.750264Z

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 70d8d849-0730-4069-9ccb-04ecb12948aa · outbound

This paper cites Reachability analysis of neural feedback loops,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Reachability analysis of neural feedback loops,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:56:00.735132Z

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 18ba38a5-9e5e-43b1-9eb4-1fe5de7a483e · outbound

This paper cites Overt: An algorithm for safety verification of neural network control policies for nonlinear systems,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Overt: An algorithm for safety verification of neural network control policies for nonlinear systems,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:56:00.719359Z

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 11759862-7cfe-48e9-8b31-1646e09500a5 · outbound

This paper cites Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:56:00.704913Z

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 653b5a17-9d83-4d50-be9e-afd68eab12c5 · outbound

This paper cites Algorithms for verifying deep neural networks,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Algorithms for verifying deep neural networks,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T23:56:00.361936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c40a9d4-a442-4cb7-87f6-22f6eba1e432 · outbound

This paper cites A dual approach to scalable verification of deep networks.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems A dual approach to scalable verification of deep networks

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:56:00.680793Z

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 e2a71cdf-ca1c-4c17-afea-5424ca6f62cf · outbound

This paper cites PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-08-15T23:56:00.493319Z

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 b0fa1861-f22d-4629-ba92-1588aa4f0a24 · outbound

This paper cites Verifying Inverse Model Neural Networks.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Verifying Inverse Model Neural Networks

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-08-15T23:56:00.472204Z

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 5f52ab88-5dd2-486e-b9de-f5a108f19f34 · outbound

This paper cites Evaluating Robustness of Neural Networks with Mixed Integer Programming.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Evaluating Robustness of Neural Networks with Mixed Integer Programming

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T23:56:00.380736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd8b970c-81db-4980-b7bc-049c4515b86d · outbound

This paper cites an unresolved cited work.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T23:56:00.385238Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b22a9a32-edf8-49a5-835e-fa1e5ef4274d · outbound

This paper cites Fast and effective robustness certification,.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Fast and effective robustness certification,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:56:00.655829Z

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 1faf4d26-b6df-4de9-a165-a05822cebe31 · outbound

This paper cites TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems.

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-15T23:56:00.435094Z

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

No inbound Pith citation observations are available.