Paper Citation Record · LEDGER

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey

As of 23 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2607.27908.

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

pith.paper-citation-record.v1
2607.27908 v1

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-31T23:17:09.608536Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+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

26 of 26 outbound references displayed

verified exact0
verified fuzzy0
unresolved26
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7bec68c4-0a43-4d43-b47c-54b59613684f · outbound

This paper cites & Roy, D.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & Roy, D

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:06.370901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02f787bf-8223-4e50-a4ad-5490632250c4 · outbound

This paper cites & Jungers, R.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & Jungers, R

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:06.817056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc755f31-c58c-4001-ba5c-192d5bce4d2c · outbound

This paper cites Non-Conservative Data-driven Safe Control Design for Nonlinear Systems with Polyhedral Safe Sets.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey Non-Conservative Data-driven Safe Control Design for Nonlinear Systems with Polyhedral Safe Sets

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:07.963874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94db0740-e79a-40a4-844e-91a2762e4149 · outbound

This paper cites F., Akametalu, A.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey F., Akametalu, A

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:07.282252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d917d677-2480-47a7-b918-7b91354fe198 · outbound

This paper cites SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates

Reference 56

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:07.163930Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d11622e-9d29-46f3-a645-b25f1bb8ad7f · outbound

This paper cites J., Camlibel, M.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey J., Camlibel, M

Reference 58

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:09.374326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbebac33-1ede-449f-8614-a1e96e7c8424 · outbound

This paper cites & Zamani, M.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & Zamani, M

Reference 100

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:08.199368Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ab7c854-3a81-45b5-942e-6a329d0a81db · outbound

This paper cites & Kapoor, A.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & Kapoor, A

Reference 121

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:07.869802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e70ad77d-ad29-4eb0-b942-1af6b865237b · outbound

This paper cites an unresolved cited work.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey Unresolved cited work

Reference 175

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:06.663261Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08afce57-a1e4-4f66-8b43-941ab9f0cfe3 · outbound

This paper cites Data-driven Abstractions for Verification of Deterministic Systems.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey Data-driven Abstractions for Verification of Deterministic Systems

Reference 189

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:06.951585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f63cf8d-60be-41d9-ae31-62fe7dfab698 · outbound

This paper cites From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics

Reference 316

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:08.783870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06bde77e-9e69-4ead-aaaa-8ae73a95adb1 · outbound

This paper cites & Zamani, M.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & Zamani, M

Reference 438

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:07.678050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab7298e7-2678-44cc-8939-dc63a9ff572e · outbound

This paper cites N., R¨ uffer, B.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey N., R¨ uffer, B

Reference 492

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:07.044134Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cafb32f8-5142-4591-b5bb-eb8464611839 · outbound

This paper cites & Coogan, S.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & Coogan, S

Reference 1179

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:08.960309Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3510fd7e-dfe7-47e0-a096-df61110a52aa · outbound

This paper cites Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints

Reference 1698

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:06.427858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5df56d5e-dc7a-47a3-bf51-10a30573ff22 · outbound

This paper cites Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials

Reference 1848

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:09.487727Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59374585-1668-4ce7-8cbd-392e6dc70a94 · outbound

This paper cites Neural Certificates for Safe Control Policies.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey Neural Certificates for Safe Control Policies

Reference 2054

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:07.553057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2ff11ef-74fa-4044-afe7-7624852421af · outbound

This paper cites & G¨ ossler, G.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & G¨ ossler, G

Reference 2138

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:08.082258Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4d564f8-3908-4230-8b84-f35843cefa6b · outbound

This paper cites A., Alanwar, A.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey A., Alanwar, A

Reference 2215

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:08.488686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1a0025c-888c-4062-bd7f-c4613dbab296 · outbound

This paper cites & Jungers, R.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & Jungers, R

Reference 2250

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:06.499320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0cbc132-2664-4aa7-ab2e-3745cd2a5055 · outbound

This paper cites & Vovk, V.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & Vovk, V

Reference 3423

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:09.080203Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a8b3699-2c39-478b-8cb5-53e511b58a38 · outbound

This paper cites & Pappas, G.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & Pappas, G

Reference 3894

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:07.433057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d393ace-4d5b-449d-a95e-77ba11d1ab01 · outbound

This paper cites & Lahijanian, M.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & Lahijanian, M

Reference 4946

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:08.634548Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad753782-dfca-4821-a4a6-c8d632130811 · outbound

This paper cites & Soudjani, S.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey & Soudjani, S

Reference 6875

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:09.608536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10ad7d75-5684-4f14-90d4-28b1d80203ba · outbound

This paper cites an unresolved cited work.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey Unresolved cited work

Reference 7700

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:09.232838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f96ce8c-4a39-44ce-bf7a-7776ba23b9f4 · outbound

This paper cites Transfer Learning for Control Systems via Neural Simulation Relations.

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey Transfer Learning for Control Systems via Neural Simulation Relations

Reference 8005

Resolution: unresolved; no resolver link, observed 2026-07-31T23:17:08.369342Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.