Paper Citation Record · LEDGER

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration

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

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

pith.paper-citation-record.v1
2506.03469 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T11:07:29.665846Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

32 of 32 outbound references displayed

verified exact4
verified fuzzy12
unresolved15
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6f066529-61bb-4295-84c6-a1a71ba766e5 · outbound

This paper cites Alshiekh, R.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Alshiekh, R

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.849898Z

Source-reported events for the cited work

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

Observation 274ef554-ed95-4a38-8974-40db7af155e1 · outbound

This paper cites Bachman, A.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Bachman, A

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.833833Z

Source-reported events for the cited work

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

Observation 5440e141-46d4-47d6-ab1b-7c2c89f2c9e0 · outbound

This paper cites Baier and J.-P.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Baier and J.-P

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T11:07:27.848546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa4c8d48-7636-4252-b5b1-5dfcde39580f · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:07:30.807639Z

Source-reported events for the cited work

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

Observation 5a5d0a55-f3e8-47f3-84bb-998f8d88f2e4 · outbound

This paper cites Biza and R.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Biza and R

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.793628Z

Source-reported events for the cited work

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

Observation c0ba9a2d-127b-4f21-8246-65e015834008 · outbound

This paper cites A Survey on Explainable Deep Reinforcement Learning.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration A Survey on Explainable Deep Reinforcement Learning

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T11:07:28.048575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ecf1ea9-ef18-48e7-8e55-fa8f6ea916e5 · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:07:30.778136Z

Source-reported events for the cited work

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

Observation f044c3c0-ce62-4e0e-8177-de5d26dc6845 · outbound

This paper cites Corsi, E.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Corsi, E

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.761878Z

Source-reported events for the cited work

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

Observation aba4c668-ec81-485f-87fe-bbaf9594d901 · outbound

This paper cites Dehnert, S.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Dehnert, S

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.746262Z

Source-reported events for the cited work

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

Observation 879c4a15-4086-4dc4-ba4b-f7559d51e769 · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:07:30.731947Z

Source-reported events for the cited work

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

Observation 8faf1c64-73fc-4b8d-943c-08e4589bf407 · outbound

This paper cites Dukkipati, R.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Dukkipati, R

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.716694Z

Source-reported events for the cited work

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

Observation 53a51cad-263b-4172-8424-92701dc9e70a · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:07:30.699417Z

Source-reported events for the cited work

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

Observation d53dca96-f05c-4392-b01c-23c5d9b0fcec · outbound

This paper cites Haarnoja, A.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Haarnoja, A

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T11:07:28.476128Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7813dd16-4487-4053-9f3a-bdb02b86e5ab · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:07:30.670071Z

Source-reported events for the cited work

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

Observation 4403fd42-c244-48de-944a-f037885b70de · outbound

This paper cites Karakovskiy and J.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Karakovskiy and J

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.654037Z

Source-reported events for the cited work

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

Observation 508e0f63-a194-493c-8177-05390490bbfc · outbound

This paper cites Karunakaran and S.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Karunakaran and S

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.638913Z

Source-reported events for the cited work

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

Observation 479058e6-f939-47ec-b894-42b3ba8b8f2f · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 17

Resolution: verified exact; raw_fallback, observed 2026-08-07T11:07:30.471533Z

Source-reported events for the cited work

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

Observation e0f1cf21-e078-4c55-84d3-5621db101d99 · outbound

This paper cites Kwiatkowska, G.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Kwiatkowska, G

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.623560Z

Source-reported events for the cited work

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

Observation 2b878c0f-401c-44fc-a12d-becc0b703e56 · outbound

This paper cites Offline Reinforcement Learning: Tutorial, Review, and Perspectives on Open Problems.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Offline Reinforcement Learning: Tutorial, Review, and Perspectives on Open Problems

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T11:07:28.773438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e529d429-59d5-4991-9999-704f7a6202a3 · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:07:30.607486Z

Source-reported events for the cited work

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

Observation cd595de2-c8a5-4e1e-85e8-93235b8db56f · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:07:30.591014Z

Source-reported events for the cited work

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

Observation 87ae86fb-53b2-48c2-822f-72fd2f735701 · outbound

This paper cites Liu and N.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Liu and N

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T11:07:28.954721Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24c8bd89-598a-4380-8490-3ecae8a8988d · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:07:30.572313Z

Source-reported events for the cited work

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

Observation 611a9170-c12a-457a-857b-9e289fdb40b1 · outbound

This paper cites McCalmon, T.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration McCalmon, T

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.554779Z

Source-reported events for the cited work

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

Observation e84fdecc-23eb-4420-b697-f914d9ab09bc · outbound

This paper cites Mihatsch and R.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Mihatsch and R

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.540260Z

Source-reported events for the cited work

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

Observation efaafd7e-1aef-44fe-83fd-89be468619b9 · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-08-07T11:07:29.862595Z

Source-reported events for the cited work

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

Observation 298d9481-14ae-4a21-ba95-d0e78502b63a · outbound

This paper cites Explainable Reinforcement Learning via Temporal Policy Decomposition.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Explainable Reinforcement Learning via Temporal Policy Decomposition

Reference 27

Resolution: verified exact; local_arxiv, observed 2026-08-07T11:07:30.264400Z

Source-reported events for the cited work

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

Observation 68ddec39-f70b-4bf0-b50d-49dfb553a943 · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:07:30.524519Z

Source-reported events for the cited work

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

Observation 5d569828-dbe9-468b-827e-c9bbca233f63 · outbound

This paper cites Tappler, A.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Tappler, A

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T11:07:29.380126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad93b22b-05b6-45b4-8dc9-9f3fd05eb949 · outbound

This paper cites Thananjeyan, A.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Thananjeyan, A

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:07:30.508489Z

Source-reported events for the cited work

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

Observation f70f3aed-90b8-4faf-848e-e4e4d92f8fe0 · outbound

This paper cites an unresolved cited work.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Unresolved cited work

Reference 31

Resolution: malformed identifier; no resolver link, observed 2026-08-07T11:07:29.534168Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efd38806-76c1-441e-aeb2-4683f3973e79 · outbound

This paper cites Empirical measurement of cosmic luminosity-angular distance relation.

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration Empirical measurement of cosmic luminosity-angular distance relation

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-08-07T11:07:30.039001Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.