Paper Citation Record · LEDGER

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors

As of 10 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2508.15535.

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

pith.paper-citation-record.v1
2508.15535 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T17:51:59.727053Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

35 of 35 outbound references displayed

verified exact1
verified fuzzy30
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation aeae28c6-8162-4e7e-bedd-3929434e0e25 · outbound

This paper cites Belta, B.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Belta, B

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.966957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3b1f77b3-892a-4a83-8118-ca95d650cb61 · outbound

This paper cites Controller synthesis made real: Reach-avoid specifications and linear dynamics,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Controller synthesis made real: Reach-avoid specifications and linear dynamics,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.960833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 883a29ee-35ff-4065-a7ba-d4404827530f · outbound

This paper cites Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.954992Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2ee5116b-6005-474f-8c0b-f7c911113de8 · outbound

This paper cites Automated verification and synthesis of stochastic hybrid systems: A survey,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Automated verification and synthesis of stochastic hybrid systems: A survey,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.948983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e8cc5582-e552-4786-8081-f4085941a493 · outbound

This paper cites Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.942987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2e0f76d5-62b1-4e6c-9998-e39ad796e5a4 · outbound

This paper cites Tabuada, Verification and Control of Hybrid Systems - A Symbolic Approach.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Tabuada, Verification and Control of Hybrid Systems - A Symbolic Approach

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.936103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation bdeb6f7f-1bce-4cd2-8dd1-ec4da4d38f2f · outbound

This paper cites Efficient data-driven abstraction of monotone systems with disturbances,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Efficient data-driven abstraction of monotone systems with disturbances,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.929181Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d8f06dec-14a4-4c8c-9f43-fd0e86fbe6d0 · outbound

This paper cites Data-driven abstractions for verification of linear systems,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Data-driven abstractions for verification of linear systems,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.922231Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0b26a157-9be5-41c6-be6d-af98e08e8a4c · outbound

This paper cites A compositional dissipativity approach for data-driven safety verification of large-scale dynamical systems,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors A compositional dissipativity approach for data-driven safety verification of large-scale dynamical systems,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.915779Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c770fc5f-9bf7-4bde-aa26-028f312fd92d · outbound

This paper cites Data-driven abstraction-based control synthesis,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Data-driven abstraction-based control synthesis,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.909745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8d720520-45fb-41e0-ba3e-bc01c08e430c · outbound

This paper cites Learning-based symbolic abstractions for nonlinear control systems,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Learning-based symbolic abstractions for nonlinear control systems,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.903572Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d78509cf-c319-4442-9880-d3712c8a9f5d · outbound

This paper cites Symbolic abstractions from data: A PAC learning approach,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Symbolic abstractions from data: A PAC learning approach,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.897094Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e191255f-50e2-4da0-88b3-343e1a5bd471 · outbound

This paper cites Data-driven abstractions via adaptive refinements and a Kantorovich metric,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Data-driven abstractions via adaptive refinements and a Kantorovich metric,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.890872Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 096416c5-9ba8-400d-8ce5-9d02049928d4 · outbound

This paper cites Data-driven abstractions with probabilistic guarantees for linear PETC systems,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Data-driven abstractions with probabilistic guarantees for linear PETC systems,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.884415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a3910f1e-9ef7-4a47-856c-a5bb23ebcf89 · outbound

This paper cites Data-driven abstractions via binary-tree Gaussian processes for formal verification,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Data-driven abstractions via binary-tree Gaussian processes for formal verification,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.877933Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f95ddb1c-abf1-4f6e-992d-e36fee01110f · outbound

This paper cites Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.871297Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1ddedd89-508f-42d1-ab3b-15944cf6e102 · outbound

This paper cites Strategy synthesis for partially-known switched stochastic systems,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Strategy synthesis for partially-known switched stochastic systems,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.864403Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6951c795-8a0b-4bae-9607-870a02ed14b3 · outbound

This paper cites Robust control for dynamical systems with non-gaussian noise via formal abstractions,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Robust control for dynamical systems with non-gaussian noise via formal abstractions,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.857879Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f89b970f-620d-468f-9331-b3c7c9bf876f · outbound

This paper cites Constructing MDP abstractions using data with formal guarantees,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Constructing MDP abstractions using data with formal guarantees,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.851390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 34c60b58-49b1-4ce0-a389-6a22bf662205 · outbound

This paper cites Data-driven controller synthesis via finite abstractions with formal guarantees,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Data-driven controller synthesis via finite abstractions with formal guarantees,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.844453Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3951a609-0e97-40d4-908e-8a749cef1be4 · outbound

This paper cites Data-driven yet formal policy synthesis for stochastic nonlinear dynamical systems,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Data-driven yet formal policy synthesis for stochastic nonlinear dynamical systems,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.837274Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6c74cda7-590e-4daf-8d81-0ab9dd8d5078 · outbound

This paper cites Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-05T17:51:59.757710Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d6733c68-d912-47c4-8ed1-4162a55139c0 · outbound

This paper cites Casella and R.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Casella and R

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.831025Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2728c4d0-e7aa-4a7f-bd9d-80487141bee4 · outbound

This paper cites Formal verification of unknown stochastic systems via non-parametric estimation,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Formal verification of unknown stochastic systems via non-parametric estimation,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.824983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e4023d71-bcc4-4efe-8cb0-7ece3ef7de97 · outbound

This paper cites On the sample complexity of lipschitz constant estimation,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors On the sample complexity of lipschitz constant estimation,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.817931Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 234f6db7-23b1-443c-a7ba-61e997fc4a73 · outbound

This paper cites Data-Driven Certificate Synthesis.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Data-Driven Certificate Synthesis

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-05T17:51:59.709119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63d5c05a-2e27-4335-befc-c58965c90531 · outbound

This paper cites an unresolved cited work.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-05T17:51:59.811132Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8dbe96d3-8426-427b-9b86-a6989a0279b5 · outbound

This paper cites an unresolved cited work.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-05T17:51:59.713502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19ca3d59-0811-48aa-ba39-61098532eca2 · outbound

This paper cites Robust dynamic programming,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Robust dynamic programming,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.801390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f46beb27-e3ff-483b-a8ec-574680dc4a2f · outbound

This paper cites Baier and J.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Baier and J

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.794547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 390fac93-5c2f-424a-b1f5-ec03b4a4e30c · outbound

This paper cites Robust control of uncertain markov decision processes with temporal logic specifications,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Robust control of uncertain markov decision processes with temporal logic specifications,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.787549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6f294b9b-0015-497d-a51c-37958d202429 · outbound

This paper cites PRISM 4.0: Verification of probabilistic real-time systems,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors PRISM 4.0: Verification of probabilistic real-time systems,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.781369Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 095c2ac7-c1a0-4a65-8e49-e13c94c94975 · outbound

This paper cites A storm is coming: A modern probabilistic model checker,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors A storm is coming: A modern probabilistic model checker,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.775042Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 09ed74b1-9221-428b-a460-e931485af074 · outbound

This paper cites Badings, Robust Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Badings, Robust Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T17:51:59.768786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 28249d91-041e-4665-a799-ac6371002b0a · outbound

This paper cites The use of confidence or fiducial limits illustrated in the case of the binomial,.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors The use of confidence or fiducial limits illustrated in the case of the binomial,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-05T17:51:59.727053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.