Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T15:28:49.417483Z
Paper Citation Record · LEDGER
Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
As of 18 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-05-18T15:16:28.518229Z
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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+00:00.