Paper Citation Record · LEDGER

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty

As of 11 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2511.23322.

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

pith.paper-citation-record.v1
2511.23322 v2

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T19:54:12.069832Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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

29 of 29 outbound references displayed

verified exact0
verified fuzzy0
unresolved29
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 57c10380-b177-4c28-b4a0-ef20f946c382 · outbound

This paper cites , " * write output.state after.block = add.period write newline.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty , " * write output.state after.block = add.period write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:09.294733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82eefd39-e14c-46ff-ad42-2dd28dbe1eff · outbound

This paper cites write newline.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty write newline

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:09.444736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 406283e9-c742-4bb7-ac34-8dbddcbfb308 · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:09.554273Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c12c53af-3d4b-44ff-a246-11f75193cd9d · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:09.654790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d318f162-491d-4f2c-9a4d-81e7201b7a71 · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:09.717495Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72382231-3658-40e1-8af9-e65b33d0b418 · outbound

This paper cites DeepReach: A Deep Learning Approach to High-Dimensional Reachability.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty DeepReach: A Deep Learning Approach to High-Dimensional Reachability

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:09.864731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23e8586c-695d-436e-8d9d-9d667c015fdc · outbound

This paper cites primary eigenfunction,.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty primary eigenfunction,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:09.965818Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6263e15-631d-4442-9b2f-5470a0de6ec3 · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:10.115144Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a55109f8-0353-4b19-ab97-e0b4f60be400 · outbound

This paper cites and Townsend, A.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty and Townsend, A

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:10.201246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c5c5635-aa97-482d-b64c-22da11d60c36 · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:10.334936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bab58718-697c-4f70-b7e1-cfa4d5ed81f4 · outbound

This paper cites and Arcak, M.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty and Arcak, M

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:10.435177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edade332-723b-4638-9322-9569baa97eda · outbound

This paper cites and Arcak, M.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty and Arcak, M

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:10.517427Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6568442c-eef5-443a-98f8-53012bd62c69 · outbound

This paper cites and Deka, S.A.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty and Deka, S.A

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:10.622626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67a758ee-8d5d-4d70-b419-cd08e8315db9 · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:10.714735Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3154bdb3-fe0c-48d1-bcbd-a14ce1cf3726 · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:10.807083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09ac2268-48ad-4cc3-8760-6a40ae47bc36 · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:10.943804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63d20258-27ba-452d-ac22-ba6ef235ba08 · outbound

This paper cites u ske, F., and Hamzi, B. (2020). Kernel-based approximation of the koopman generator and schr \.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty u ske, F., and Hamzi, B. (2020). Kernel-based approximation of the koopman generator and schr \

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.062151Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ad93396-2208-4985-8fe1-490b82e220f5 · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.212169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e78856e-4b62-4df1-98e0-c038c9d150a7 · outbound

This paper cites and Mezi \'c , I.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty and Mezi \'c , I

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.268954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2b33655-efe7-47c0-b1c0-a7f9ac8a4841 · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.351842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2e80ea1-fa7c-4b06-b62d-e1a10d003c57 · outbound

This paper cites and Revzen, S.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty and Revzen, S

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.443529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd35a858-42e7-40a7-906d-648c8433db45 · outbound

This paper cites and Mezic, I.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty and Mezic, I

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.488908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f8a4c00-bbaa-4207-a033-e184fec1decf · outbound

This paper cites Koopman principle eigenfunctions and linearization of diffeomorphisms.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Koopman principle eigenfunctions and linearization of diffeomorphisms

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.565296Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 845ca418-dbd9-4730-b243-4f6a5dabbd9e · outbound

This paper cites Error bounds for kernel-based approximations of the Koopman operator.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Error bounds for kernel-based approximations of the Koopman operator

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.706917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9529a85-fc9b-4f73-af3c-d35a3ae35d06 · outbound

This paper cites and Rantzer, A.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty and Rantzer, A

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.782502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bb6b81e-7529-49b9-bf03-d5722a75302f · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.875427Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc77c83e-ede6-4b05-b410-2a70d523c4d5 · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.931122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24650989-c732-421e-acd2-f26758f6d59e · outbound

This paper cites an unresolved cited work.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:11.995494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 950e5db9-42ce-4abb-8d45-5f251c0c5903 · outbound

This paper cites A Kernel-Based Approach to Data-Driven Koopman Spectral Analysis.

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty A Kernel-Based Approach to Data-Driven Koopman Spectral Analysis

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T19:54:12.069832Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.