Paper Citation Record · LEDGER

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems

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

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

pith.paper-citation-record.v1
2509.18518 v2

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-18T15:16:28.518229Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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 exact5
verified fuzzy16
unresolved11
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b7524c6e-09fd-49f4-8fe9-eefecc6a03d2 · outbound

This paper cites Abate, M.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Abate, M

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.381784Z

Source-reported events for the cited work

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

Observation 25361bed-627d-4fbd-b659-ad0543751163 · outbound

This paper cites Alur.Principles of cyber-physical systems.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Alur.Principles of cyber-physical systems

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.360376Z

Source-reported events for the cited work

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

Observation 3cb38c99-550f-475b-b7be-9062f9ee9257 · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-05-18T15:16:32.369213Z

Source-reported events for the cited work

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

Observation 9acda3ef-e552-4851-b0f1-bd5c6b343bdb · outbound

This paper cites Baier and J.-P.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Baier and J.-P

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.377429Z

Source-reported events for the cited work

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

Observation ff9275fa-b02a-4137-8714-c882d95554e1 · outbound

This paper cites Chakarov and S.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Chakarov and S

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.389574Z

Source-reported events for the cited work

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

Observation a7cbc418-3cd0-45c7-bfd6-61698ebd4024 · outbound

This paper cites Chatterjee, A.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Chatterjee, A

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.365095Z

Source-reported events for the cited work

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

Observation ea4ac95d-a49f-4d2d-9a2a-e5c7707bbb24 · outbound

This paper cites On the Construction of Barrier Certificate: A Dynamic Programming Perspective.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems On the Construction of Barrier Certificate: A Dynamic Programming Perspective

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-18T15:16:32.224536Z

Source-reported events for the cited work

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

Observation 91dccb62-b63b-4be7-a2c9-cea06712d7f0 · outbound

This paper cites Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-05-18T15:16:32.231127Z

Source-reported events for the cited work

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

Observation e3d5d446-9012-4e15-ab2f-be95559975f1 · outbound

This paper cites Jagtap, S.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Jagtap, S

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.458055Z

Source-reported events for the cited work

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

Observation f5149f61-4f18-429c-b28b-b9520e109f5c · outbound

This paper cites Jagtap, S.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Jagtap, S

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.421985Z

Source-reported events for the cited work

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

Observation cdc41b1e-1dd8-4ebb-96aa-786e5e9a0f0d · outbound

This paper cites Kenyon-Roberts and C.-H.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Kenyon-Roberts and C.-H

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.413877Z

Source-reported events for the cited work

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

Observation e85e6b10-f5ef-4496-bbdd-ff799fd56461 · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-05-18T15:16:32.448606Z

Source-reported events for the cited work

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

Observation e8c34b12-86ab-4fba-ab12-43647a0fbcbd · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-05-18T15:16:32.430267Z

Source-reported events for the cited work

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

Observation f8fc4ab8-f473-4c5f-afc0-850c51e7c7f3 · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-05-18T15:16:32.483854Z

Source-reported events for the cited work

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

Observation e0e55ebd-e923-463f-950c-a8ca63668da3 · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-05-18T15:16:32.453741Z

Source-reported events for the cited work

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

Observation 13af1c5b-c408-4f56-91e5-480f01210808 · outbound

This paper cites McIver, C.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems McIver, C

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.439011Z

Source-reported events for the cited work

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

Observation 0d6f11c0-2a4c-42bb-bb42-cbb7f1d5c3c3 · outbound

This paper cites Oksendal.Stochastic differential equations: an introduction with applications.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Oksendal.Stochastic differential equations: an introduction with applications

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.426263Z

Source-reported events for the cited work

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

Observation e127fbc3-c2e2-4d77-8024-18d4769c48c2 · outbound

This paper cites Prajna and A.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Prajna and A

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.467102Z

Source-reported events for the cited work

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

Observation 5626c4e5-5a21-4515-ab8e-d55964921b2d · outbound

This paper cites Prajna, A.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Prajna, A

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.404211Z

Source-reported events for the cited work

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

Observation 2783c88c-94d3-476b-aac7-0256094521f5 · outbound

This paper cites Prajna and A.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Prajna and A

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.418143Z

Source-reported events for the cited work

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

Observation ec0052ee-8679-459b-b4a7-b9ee0d4de4cc · outbound

This paper cites Santoyo, M.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Santoyo, M

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.444439Z

Source-reported events for the cited work

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

Observation 4fd4b9b7-e672-4f11-bcb9-6fdb0b0b84ec · outbound

This paper cites Steinhardt and R.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Steinhardt and R

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.399627Z

Source-reported events for the cited work

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

Observation d96fd383-c8b3-4997-86bb-971fac0a5e57 · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-05-18T15:16:32.434592Z

Source-reported events for the cited work

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

Observation 220ff8ed-9eaa-455e-acaf-33499c1a6482 · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-05-18T15:16:32.463052Z

Source-reported events for the cited work

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

Observation 3af02057-7229-4cd9-b0bc-7c80ce282acd · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-05-18T15:16:32.208159Z

Source-reported events for the cited work

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

Observation 93925e9c-17ca-4463-a334-3fc16e6ca49f · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-05-18T15:16:32.237884Z

Source-reported events for the cited work

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

Observation 693c56ee-d136-4860-aac1-f4c7910db70a · outbound

This paper cites arXiv preprint arXiv:2408.15572 (2024) 11.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems arXiv preprint arXiv:2408.15572 (2024) 11

Reference 27

Resolution: verified exact; arxiv_id, observed 2026-05-18T15:16:32.215656Z

Source-reported events for the cited work

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

Observation 023b11dd-8fc3-46fc-83b4-0b59d697d361 · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-05-18T15:16:32.477177Z

Source-reported events for the cited work

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

Observation 9a0c6bea-6a81-4ead-8c94-9845fd726591 · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-05-18T15:16:32.385616Z

Source-reported events for the cited work

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

Observation f663d6f8-15fc-43d9-b31c-c9235b3404a0 · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-05-18T15:16:32.373384Z

Source-reported events for the cited work

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

Observation dd23e90c-142d-4edf-9245-995173a7d980 · outbound

This paper cites an unresolved cited work.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-05-18T15:16:32.408874Z

Source-reported events for the cited work

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

Observation 07e42a85-8d8e-4eba-ad5c-8910380721cd · outbound

This paper cites Žikeli ´c, M.

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems Žikeli ´c, M

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-18T15:16:32.473327Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.