Paper Citation Record · LEDGER

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach

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

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

pith.paper-citation-record.v1
2507.12158 v1

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T16:56:08.661821Z

measured 23 of 23 standing notices

One-hop event checks from named stored sources.

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

23 of 23 outbound references displayed

verified exact2
verified fuzzy19
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c8a0588a-d0fc-4f05-b672-520a1d5e0daa · outbound

This paper cites Autonomous ground vehicles: technolog- ical advancements, implementation challenges, and future directions,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Autonomous ground vehicles: technolog- ical advancements, implementation challenges, and future directions,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:12.712272Z

Source-reported events for the cited work

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

Observation 1d764488-9a84-4d91-8cf2-244c6f4c6b0b · outbound

This paper cites Situation coverage–a coverage criterion for testing autonomous robots,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Situation coverage–a coverage criterion for testing autonomous robots,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:12.395437Z

Source-reported events for the cited work

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

Observation fbb30d53-b038-452c-8c80-7227c95b1c72 · outbound

This paper cites Adversarial examples in the physical world,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Adversarial examples in the physical world,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:12.083386Z

Source-reported events for the cited work

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

Observation b6e16edb-7434-4060-a891-e67337e9dce5 · outbound

This paper cites Deepxplore: Automated whitebox testing of deep learning systems,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Deepxplore: Automated whitebox testing of deep learning systems,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:11.835999Z

Source-reported events for the cited work

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

Observation 86df1d3d-d6eb-479d-bd05-9d2a7f074243 · outbound

This paper cites Deeptest: Automated testing of deep-neural-network-driven autonomous cars,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Deeptest: Automated testing of deep-neural-network-driven autonomous cars,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:11.614233Z

Source-reported events for the cited work

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

Observation c2cd49d5-7ff7-447c-b16b-49e8d7db7f13 · outbound

This paper cites Defining and substantiating the terms scene, situation, and scenario for automated driving,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Defining and substantiating the terms scene, situation, and scenario for automated driving,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:11.346590Z

Source-reported events for the cited work

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

Observation 887a8520-1bcd-4a13-806a-9e1694172bbe · outbound

This paper cites Testing vision- based control systems using learnable evolutionary algorithms,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Testing vision- based control systems using learnable evolutionary algorithms,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:11.099531Z

Source-reported events for the cited work

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

Observation 25ddb1d9-b8cd-4922-b645-915d04dc11ec · outbound

This paper cites Environment modeling and simulation for automated testing of soft real-time embedded software,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Environment modeling and simulation for automated testing of soft real-time embedded software,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:10.902906Z

Source-reported events for the cited work

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

Observation 3ef9b15e-7a77-4f99-b236-da3ff9812703 · outbound

This paper cites Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:56:08.932523Z

Source-reported events for the cited work

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

Observation fb13d3af-8e16-4bce-be40-4eeed72b0caf · outbound

This paper cites Intersection focused situation coverage- based verification and validation framework for autonomous vehicles implemented in carla,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Intersection focused situation coverage- based verification and validation framework for autonomous vehicles implemented in carla,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:10.732327Z

Source-reported events for the cited work

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

Observation 676fb6dc-855e-44c9-abc4-32824e72f106 · outbound

This paper cites Systematic situation coverage versus random situation coverage for safety testing in an autonomous car simulation,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Systematic situation coverage versus random situation coverage for safety testing in an autonomous car simulation,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:10.552692Z

Source-reported events for the cited work

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

Observation a001870c-9193-49e8-863d-40b5c64e8d15 · outbound

This paper cites Situation coverage based safety analysis of an autonomous aerial drone in a mine environment,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Situation coverage based safety analysis of an autonomous aerial drone in a mine environment,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:10.427933Z

Source-reported events for the cited work

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

Observation b720539e-1490-469b-9aa6-0da1496ce98c · outbound

This paper cites SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T16:56:07.665076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2715f398-5160-4d84-a003-6f46f71b0a56 · outbound

This paper cites Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE).

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T16:56:07.823456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d65714e-fa7b-425f-8032-1ff3f3086187 · outbound

This paper cites Hazard and safety anal- ysis of machine-learning-based perception capabilities in autonomous vehicles,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Hazard and safety anal- ysis of machine-learning-based perception capabilities in autonomous vehicles,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:10.240382Z

Source-reported events for the cited work

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

Observation 0498dbb3-7b25-4584-8c08-5da96b37ba5d · outbound

This paper cites On probabilistic computation tree logic,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach On probabilistic computation tree logic,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:10.090079Z

Source-reported events for the cited work

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

Observation c019edf1-d05b-4777-be8e-c093acd16ec3 · outbound

This paper cites Probabilistic model checking and autonomy,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Probabilistic model checking and autonomy,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:09.953351Z

Source-reported events for the cited work

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

Observation f0c98b48-9e42-4401-a918-1d84d9c077bd · outbound

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

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Prism 4.0: Verification of probabilistic real-time systems,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:09.799691Z

Source-reported events for the cited work

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

Observation 41f36360-1c27-4bab-b957-0cb09fddb013 · outbound

This paper cites Coverage Metrics for a Scenario Database for the Scenario-Based Assessment of Automated Driving Systems.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Coverage Metrics for a Scenario Database for the Scenario-Based Assessment of Automated Driving Systems

Reference 19

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:56:08.802161Z

Source-reported events for the cited work

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

Observation 137e5c1f-dea9-4360-8f87-988cac7a076a · outbound

This paper cites Road vehicles — test scenarios for automated driving systems — scenario categorization,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Road vehicles — test scenarios for automated driving systems — scenario categorization,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:09.658163Z

Source-reported events for the cited work

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

Observation acce9b00-e2ff-446b-a2f5-44632f5837f8 · outbound

This paper cites Probabilistic Safety Verification: A situation coverage grid approach.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach Probabilistic Safety Verification: A situation coverage grid approach

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:09.475296Z

Source-reported events for the cited work

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

Observation d3e6ecb8-fd6d-4572-b811-68e3db40dc70 · outbound

This paper cites The probabilistic model checker storm,.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach The probabilistic model checker storm,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:09.292568Z

Source-reported events for the cited work

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

Observation 67101e41-689f-4745-bc2d-80d1f7a55863 · outbound

This paper cites IEC 61508:2010 – Func- tional safety of electrical/electronic/programmable electronic safety- related systems.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach IEC 61508:2010 – Func- tional safety of electrical/electronic/programmable electronic safety- related systems

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:56:09.129486Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.