Paper Citation Record · LEDGER

Grand Challenges in the Verification of Autonomous Systems

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

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

pith.paper-citation-record.v1
2411.14155 v1

Coverage vector

measured 12 of 12 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:30:29.364106Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

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

12 of 12 outbound references displayed

verified exact0
verified fuzzy9
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4d592283-fd79-4793-87e5-dbc71f068732 · outbound

This paper cites Testing, validation, and verification of robotic and autonomous systems: A systematic review,.

Grand Challenges in the Verification of Autonomous Systems Testing, validation, and verification of robotic and autonomous systems: A systematic review,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:30:29.571147Z

Source-reported events for the cited work

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

Observation b0a6d3d3-5517-4bdb-8e22-a08d90c9d70d · outbound

This paper cites Autonomy verification & validation roadmap and vision 2045,.

Grand Challenges in the Verification of Autonomous Systems Autonomy verification & validation roadmap and vision 2045,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:30:29.555749Z

Source-reported events for the cited work

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

Observation 8bc7e509-bae9-4e23-a663-3b629e0397e9 · outbound

This paper cites A roadmap toward the resilient internet of things for cyber- physical systems,.

Grand Challenges in the Verification of Autonomous Systems A roadmap toward the resilient internet of things for cyber- physical systems,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:30:29.543057Z

Source-reported events for the cited work

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

Observation b38f978b-38d5-40eb-ae7e-923f86b87cd1 · outbound

This paper cites Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust.

Grand Challenges in the Verification of Autonomous Systems Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-12T15:30:29.324446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8138bd8a-0300-4946-a3af-f135518eb7ae · outbound

This paper cites an unresolved cited work.

Grand Challenges in the Verification of Autonomous Systems Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:30:29.531401Z

Source-reported events for the cited work

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

Observation 1945da10-da65-4d7d-bbd5-ed5b9bcb94ba · outbound

This paper cites IEEE standard for system, software, and hardware verification and validation,.

Grand Challenges in the Verification of Autonomous Systems IEEE standard for system, software, and hardware verification and validation,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:30:29.518144Z

Source-reported events for the cited work

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

Observation 57ddeffe-7278-44a6-8ee4-760285b01d3d · outbound

This paper cites Toward verified artificial intelligence,.

Grand Challenges in the Verification of Autonomous Systems Toward verified artificial intelligence,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:30:29.501022Z

Source-reported events for the cited work

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

Observation 268a4643-94d0-42f6-836f-a63da7588351 · outbound

This paper cites Braitenberg, Vehicles: Experiments in synthetic psychology.

Grand Challenges in the Verification of Autonomous Systems Braitenberg, Vehicles: Experiments in synthetic psychology

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:30:29.486785Z

Source-reported events for the cited work

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

Observation 25da6fbb-4310-4e93-82f7-7d1b1c5d7da5 · outbound

This paper cites Formal ver- ification of ethical choices in autonomous systems,.

Grand Challenges in the Verification of Autonomous Systems Formal ver- ification of ethical choices in autonomous systems,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:30:29.463715Z

Source-reported events for the cited work

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

Observation 47a40af5-aad1-4e34-9648-156571229feb · outbound

This paper cites On a Formal Model of Safe and Scalable Self-driving Cars.

Grand Challenges in the Verification of Autonomous Systems On a Formal Model of Safe and Scalable Self-driving Cars

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T15:30:29.353821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6897c3f-368f-4270-8952-2fd872d07824 · outbound

This paper cites Society of Automotive Engineers, April 2021.

Grand Challenges in the Verification of Autonomous Systems Society of Automotive Engineers, April 2021

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:30:29.443399Z

Source-reported events for the cited work

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

Observation 58d958b8-680e-4b36-ad1e-78f19cac3ac4 · outbound

This paper cites Dynamic assurance cases: a pathway to trusted autonomy,.

Grand Challenges in the Verification of Autonomous Systems Dynamic assurance cases: a pathway to trusted autonomy,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:30:29.430799Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.