Paper Citation Record · LEDGER

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions

As of 20 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 1 inbound Pith citation observation for arXiv:2508.20204.

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

pith.paper-citation-record.v1
2508.20204 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T15:28:49.417483Z

measured 30 of 30 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

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

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-18T15:16:32.227757Z

Reference resolution

29 of 29 outbound references displayed

verified exact0
verified fuzzy25
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4bb321b3-ab6a-491f-8d1e-b172b74b57de · outbound

This paper cites Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:54.066337Z

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 ff24f66f-bc28-4348-ba34-6ce13cc0b565 · outbound

This paper cites an unresolved cited work.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-05T15:28:53.937746Z

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 290da2ad-2999-4fca-9bd4-3b495a08396e · outbound

This paper cites an unresolved cited work.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-05T15:28:53.757183Z

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 d63da314-b3df-48cf-9f36-7ffe9ad633ac · outbound

This paper cites Programmatic strategy synthesis: Resolving nondeterminism in probabilistic programs.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Programmatic strategy synthesis: Resolving nondeterminism in probabilistic programs

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:53.584896Z

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 cd91b172-aefb-4ed7-bdd2-9ec28ea99196 · outbound

This paper cites Optimal inequalities in probability theory: A convex optimization approach.SIAM Journal on Optimization , 15(3):780–804, 2005.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Optimal inequalities in probability theory: A convex optimization approach.SIAM Journal on Optimization , 15(3):780–804, 2005

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:53.427013Z

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 735374a1-edde-4a2f-92f7-fb386c30a709 · outbound

This paper cites Risk- sensitive safety analysis using conditional value-at-risk.IEEE Transactions on Automatic Control, 67(12):6521–6536, 2021.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Risk- sensitive safety analysis using conditional value-at-risk.IEEE Transactions on Automatic Control, 67(12):6521–6536, 2021

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:53.284260Z

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 5d04e1d8-6193-4eba-bc88-4ff9546a4ae6 · outbound

This paper cites Safe control in the presence of stochastic uncertainties.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Safe control in the presence of stochastic uncertainties

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:53.142166Z

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 0aca8a49-34ad-4968-b7aa-63849957ada3 · outbound

This paper cites Distributionally robust optimization under moment uncertainty with application to data-driven problems.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Distributionally robust optimization under moment uncertainty with application to data-driven problems

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:52.995786Z

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 7070c9ba-8080-460a-a3a1-47e50aaf0c5a · outbound

This paper cites Real analysis: modern techniques and their applications, volume 40.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Real analysis: modern techniques and their applications, volume 40

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:52.852671Z

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 bce265f2-08fd-43bf-9717-b2129feebd8d · outbound

This paper cites Robust nonlinear control design: state-space and Lyapunov techniques.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Robust nonlinear control design: state-space and Lyapunov techniques

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:52.652562Z

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 f3a65e4e-6872-4cf6-9ea9-c874a81922d2 · outbound

This paper cites Johnson, Samuel Kotz, and Narayanaswamy Balakrishnan.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Johnson, Samuel Kotz, and Narayanaswamy Balakrishnan

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:52.495993Z

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 e49b028d-8805-49b3-9974-45a766e35eb0 · outbound

This paper cites Safety barrier certificates for stochastic hybrid systems.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Safety barrier certificates for stochastic hybrid systems

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:52.359306Z

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 cb3754b4-b325-4562-b93c-0147e9cf7408 · outbound

This paper cites A converse robust-safety theorem for differential inclusions.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions A converse robust-safety theorem for differential inclusions

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:52.197246Z

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 32e53bb6-577d-4152-b0b7-8bc124dd2141 · outbound

This paper cites Sufficient conditions for robust safety in differential inclusions using barrier functions.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Sufficient conditions for robust safety in differential inclusions using barrier functions

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:52.038812Z

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 ef095e1b-cfa2-40a3-bd3c-beb9373e4c07 · outbound

This paper cites Abstraction, Refinement and Proof for Probabilistic Systems.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Abstraction, Refinement and Proof for Probabilistic Systems

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:51.866555Z

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 1b03fc22-9e19-4b71-b84c-8b197b6dfb10 · outbound

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

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Stochastic differential equations: an introduction with applications

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:51.708173Z

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 4ae145ff-79bf-46f3-8d94-8eaf8c743e74 · outbound

This paper cites Pflug and D.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Pflug and D

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:51.566859Z

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 d4f96ba9-b02c-483a-8627-789182f08fa2 · outbound

This paper cites A lyapunov theorem certifying global weak reachability for stochastic difference inclusions with random inputs.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions A lyapunov theorem certifying global weak reachability for stochastic difference inclusions with random inputs

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:51.390721Z

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 383d237a-5899-4fb0-a936-b8273adb31fe · outbound

This paper cites Prajna and A.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Prajna and A

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:51.223339Z

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 c9e44623-31c2-4152-8120-bdf6621349b7 · outbound

This paper cites Stochastic safety verification using barrier certificates.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Stochastic safety verification using barrier certificates

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:51.065280Z

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 a674ba40-3e0c-4a3c-ad3f-d7891edea72a · outbound

This paper cites Frameworks and results in distributionally robust optimization.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Frameworks and results in distributionally robust optimization

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:50.899749Z

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 e012253a-ca22-48ba-9f83-cd818754e09e · outbound

This paper cites an unresolved cited work.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-05T15:28:50.756420Z

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 23634933-52bd-4ed8-a553-117797bbee41 · outbound

This paper cites Probabilistic reachability and invariance computation of stochastic systems using linear programming.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Probabilistic reachability and invariance computation of stochastic systems using linear programming

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:50.643768Z

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 f96bd920-538a-4faf-9675-1998b85442b5 · outbound

This paper cites Data- driven distributionally robust safety verification using barrier certificates and conditional mean embeddings.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Data- driven distributionally robust safety verification using barrier certificates and conditional mean embeddings

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:50.422076Z

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 1e063668-d0bb-46f8-95b6-924e8f5de036 · outbound

This paper cites Finite-time regional verification of stochastic non-linear systems.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Finite-time regional verification of stochastic non-linear systems

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:50.225109Z

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 4dd510c8-2b17-4982-9f4d-c92bf09d133b · outbound

This paper cites Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-05T15:28:49.067687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fcac40b-212a-4876-84ec-61326fdb9100 · outbound

This paper cites A distributionally robust approach to regret optimal control using the wasserstein distance.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions A distributionally robust approach to regret optimal control using the wasserstein distance

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:50.021679Z

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 81bd9108-380d-4eae-8305-6b5b87d0ffc2 · outbound

This paper cites Safety of stochastic systems: An analytic and computational approach.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions Safety of stochastic systems: An analytic and computational approach

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:49.837145Z

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 00332120-6bef-45b7-b5ea-f879e52f633c · outbound

This paper cites A dynamic game approach to distributionally robust safety specifications for stochastic systems.

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions A dynamic game approach to distributionally robust safety specifications for stochastic systems

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T15:28:49.631618Z

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

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

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems cites this paper.

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-19T06:32:44.657259+00:00.