Paper Citation Record · LEDGER

Cross--layer Formal Verification of Robotic Systems

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

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

pith.paper-citation-record.v1
2411.14373 v1

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:17:40.141741Z

measured 13 of 13 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+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

13 of 13 outbound references displayed

verified exact6
verified fuzzy0
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 182ec665-fd63-40c7-bd20-27c5f40a7ff6 · outbound

This paper cites an unresolved cited work.

Cross--layer Formal Verification of Robotic Systems Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:40.074572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6829ce68-fa8a-46e8-9334-198415599dcc · outbound

This paper cites an unresolved cited work.

Cross--layer Formal Verification of Robotic Systems Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:40.079987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48099381-cee6-4f32-a399-fa97bbd5f523 · outbound

This paper cites Alcácer & V.

Cross--layer Formal Verification of Robotic Systems Alcácer & V

Reference 3

Resolution: verified exact; doi, observed 2026-08-12T15:17:40.289017Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7077b684-0390-4649-a9f8-de681a803f97 · outbound

This paper cites 7227–7232.

Cross--layer Formal Verification of Robotic Systems 7227–7232

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:40.096471Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df1738b1-5359-4eec-90b1-5182a680ee57 · outbound

This paper cites an unresolved cited work.

Cross--layer Formal Verification of Robotic Systems Unresolved cited work

Reference 6

Resolution: verified exact; doi, observed 2026-08-12T15:17:40.272373Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d0a7fad1-b4a8-4939-ac56-dfbb1a6fa38f · outbound

This paper cites Moore, Qingzhou Luo, Aravind Sundaresan & Grigore Rosu (2014): ROSRV: Runtime Verification for Robots.

Cross--layer Formal Verification of Robotic Systems Moore, Qingzhou Luo, Aravind Sundaresan & Grigore Rosu (2014): ROSRV: Runtime Verification for Robots

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:40.107009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ead4b6f-cfd7-4bea-bf55-dd6540b3f80c · outbound

This paper cites PROSKILL: A formal skill language for acting in robotics.

Cross--layer Formal Verification of Robotic Systems PROSKILL: A formal skill language for acting in robotics

Reference 8

Resolution: metadata mismatch; local_arxiv, observed 2026-08-12T15:17:40.245376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b6eadfe8-5a6b-4591-a868-1bfd04c4e88e · outbound

This paper cites Robotics 7(3), p.

Cross--layer Formal Verification of Robotic Systems Robotics 7(3), p

Reference 9

Resolution: verified exact; doi, observed 2026-08-12T15:17:40.223543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ef73726f-19f6-4ba0-b189-3e44784dc08c · outbound

This paper cites Robotics and Computer-Integrated Manufacturing 37, pp.

Cross--layer Formal Verification of Robotic Systems Robotics and Computer-Integrated Manufacturing 37, pp

Reference 10

Resolution: verified exact; doi, observed 2026-08-12T15:17:40.206940Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0adac72a-3454-4584-ab78-1baea1ae20ef · outbound

This paper cites an unresolved cited work.

Cross--layer Formal Verification of Robotic Systems Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-08-12T15:17:40.649213Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 4ed1a9fb-dcd0-4b24-90b5-a4f6ea408c4b · outbound

This paper cites In: IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023 , IEEE, pp.

Cross--layer Formal Verification of Robotic Systems In: IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023 , IEEE, pp

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:40.132050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7552eb3f-5c52-4836-aa94-937976836081 · outbound

This paper cites an unresolved cited work.

Cross--layer Formal Verification of Robotic Systems Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T15:17:40.137000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdcbf9ab-12b9-43e1-9c54-d996f344092c · outbound

This paper cites Robotics and Computer-Integrated Man- ufacturing 53, pp.

Cross--layer Formal Verification of Robotic Systems Robotics and Computer-Integrated Man- ufacturing 53, pp

Reference 14

Resolution: verified exact; doi, observed 2026-08-12T15:17:40.179760Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Pith citing papers

No inbound Pith citation observations are available.