Paper Citation Record · LEDGER

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories

As of 12 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 1 inbound Pith citation observation for arXiv:2412.03892.

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

pith.paper-citation-record.v1
2412.03892 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T22:06:20.948161Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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-11T19:06:56.736634Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-11T19:06:56.909817Z

Reference resolution

40 of 40 outbound references displayed

verified exact1
verified fuzzy14
unresolved25
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 24839047-74bb-4d16-8dc5-16e9f8fa08db · outbound

This paper cites Ajeleye, A.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Ajeleye, A

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.739488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df16c9e1-7d76-4065-9534-b89cb7009481 · outbound

This paper cites Akbarzadeh, A.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Akbarzadeh, A

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.746855Z

Source-reported events for the cited work

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

Observation d3f8af2b-f611-43c8-a1a1-a634749771cb · outbound

This paper cites From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-11T22:06:21.218767Z

Source-reported events for the cited work

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

Observation 61e4ce80-3a2b-4b2c-9ef8-29720b0319af · outbound

This paper cites Bhatia and C.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Bhatia and C

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.758438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a936796-6895-4899-8589-78b948604414 · outbound

This paper cites Baier and J.-P.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Baier and J.-P

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.763881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 382ffc0e-91fd-4f07-bbe0-0ccfa8467d5a · outbound

This paper cites o hler, M. A. M \.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories o hler, M. A. M \

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.702028Z

Source-reported events for the cited work

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

Observation 4455675f-93a5-40a7-885a-2d47aff7d7ed · outbound

This paper cites Banse, L.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Banse, L

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.682681Z

Source-reported events for the cited work

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

Observation 6d3021a7-a5bb-41f2-9bc8-052dcd30a5eb · outbound

This paper cites Banse, L.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Banse, L

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.663871Z

Source-reported events for the cited work

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

Observation 5210a1da-56cb-4e3c-b4cf-c7291c753c44 · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.786398Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2191f83b-3f42-4587-a196-e92a10e20c8a · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:06:21.643773Z

Source-reported events for the cited work

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

Observation 389a650f-9d38-43e3-9779-1894d0cea62b · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.796867Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1eb94ee5-70bb-4f3b-b500-523e53c6da09 · outbound

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

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Data-driven Abstractions for Verification of Deterministic Systems

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.802012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74cf25b9-94db-481e-bd19-8ba311125f73 · outbound

This paper cites Data-Driven Abstractions for Control Systems via Random Exploration.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Data-Driven Abstractions for Control Systems via Random Exploration

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.807284Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4995bc88-74e5-4969-b2c0-8eb7f9aabd42 · outbound

This paper cites D \"o rfler, J.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories D \"o rfler, J

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.616543Z

Source-reported events for the cited work

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

Observation 918e46ec-9271-4a63-a557-7403919de465 · outbound

This paper cites De Persis and P.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories De Persis and P

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.818733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f8c4fa3-1fea-4370-a809-570d30826ffd · outbound

This paper cites Devonport, A.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Devonport, A

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.589097Z

Source-reported events for the cited work

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

Observation c8600128-ab16-4de0-b9f9-f0cdf7c4234d · outbound

This paper cites Mohajerin Esfahani, T.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Mohajerin Esfahani, T

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.828829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6b6f3fb-b35e-490d-9ed4-bfa57f1fd41a · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:06:21.561756Z

Source-reported events for the cited work

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

Observation 05e7ab3b-15db-4990-a7bb-4d9171db1ce6 · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.838693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6476dcca-2804-4f3b-abaf-200e3667049c · outbound

This paper cites Girard and G.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Girard and G

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.844997Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9159eaf7-90e6-406e-8118-9ea9e7544116 · outbound

This paper cites Hashimoto, A.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Hashimoto, A

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.523756Z

Source-reported events for the cited work

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

Observation 55ea7d65-e406-4c51-895f-c5bc62f579b0 · outbound

This paper cites Hou and Z.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Hou and Z

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.507403Z

Source-reported events for the cited work

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

Observation 9a15c040-0d4a-41a1-8f00-afabefe06851 · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:06:21.489181Z

Source-reported events for the cited work

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

Observation 7e7b8b03-77a0-4279-8e92-3e73c66540a5 · outbound

This paper cites Lavaei and E.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Lavaei and E

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.864917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8363f2ec-d056-4c41-965c-125c7ea1ea28 · outbound

This paper cites Makdesi, A.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Makdesi, A

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.869866Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b50d0188-8fb2-4f77-8320-87f06a895243 · outbound

This paper cites Nejati, B.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Nejati, B

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.445215Z

Source-reported events for the cited work

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

Observation 2a4946ca-d22d-4b64-867b-6950174a7af6 · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:06:21.425528Z

Source-reported events for the cited work

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

Observation fc966d4e-fa31-48d4-8476-6af617cd1ec7 · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:06:21.406896Z

Source-reported events for the cited work

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

Observation dfd12119-1602-4838-ac67-68152682bc21 · outbound

This paper cites Prajna, A.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Prajna, A

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.388325Z

Source-reported events for the cited work

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

Observation bb000bb8-2d3a-436a-87e8-cc36aca1b060 · outbound

This paper cites Reissig, A.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Reissig, A

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.371302Z

Source-reported events for the cited work

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

Observation 138fc6fd-0e70-429c-a098-c4674ee79251 · outbound

This paper cites Rungger and M.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Rungger and M

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.353289Z

Source-reported events for the cited work

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

Observation 5d0c1c01-d77c-4440-abb2-3327f2e9338a · outbound

This paper cites From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.906069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df48c656-36b3-49ba-b56c-8fc255cc267d · outbound

This paper cites Samari, A.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Samari, A

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.911429Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb2b3f41-1972-470f-93f2-3d3ae64095eb · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.916536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 964a2c8f-b041-4b75-b7c2-6a0295ea3e5e · outbound

This paper cites Swikir and M.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Swikir and M

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.322267Z

Source-reported events for the cited work

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

Observation ce134ee5-fc14-4f2c-996c-e85a4987f23e · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:06:21.301946Z

Source-reported events for the cited work

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

Observation f70e5161-4aec-4b6b-be5e-c5b57150293c · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-11T22:06:21.282589Z

Source-reported events for the cited work

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

Observation dd1ae22e-474f-4b7e-8b4d-2d0419fe7c38 · outbound

This paper cites an unresolved cited work.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.938074Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39a1b6bc-f2c6-4354-85fd-7ea17ae3e0fd · outbound

This paper cites Zamani, P.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories Zamani, P

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:06:21.252759Z

Source-reported events for the cited work

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

Observation 3a7c710e-e28b-4910-83b8-29bf8af13900 · outbound

This paper cites write newline.

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories write newline

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-11T22:06:20.948161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 7bb2e264-95df-480f-8b18-d444b53e6abb · inbound

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

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories

Reference 38

Resolution: verified exact; local_arxiv, observed 2026-08-11T19:06:56.922122Z

Source-reported events for the cited work

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