Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-02T21:25:02.460237Z
Paper Citation Record · LEDGER
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
As of 8 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 1 inbound Pith citation observation for arXiv:2602.20359.
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-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-05-10T00:47:16.225401Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-10T00:49:48.566126Z
Reference resolution
26 of 26 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved25
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 19f12d87-f096-491a-9309-d084df4b6ded · outbound
This paper cites A., Cauchi, N., Delicaris, J., Hartmanns, A., Khaled, M., Lavaei, A., Pilch, C., Remke, A., Schupp, S., et al.Arch-comp20 category report: Stochastic models.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis A., Cauchi, N., Delicaris, J., Hartmanns, A., Khaled, M., Lavaei, A., Pilch, C., Remke, A., Schupp, S., et al.Arch-comp20 category report: Stochastic models
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:00.396994Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 83e7f40f-d3d5-4593-8ca7-8152f31fd108 · outbound
This paper cites an unresolved cited work.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:00.479094Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0348d9f2-a956-4fbc-a959-dda8759f0ee7 · outbound
This paper cites P., and Shreve, S.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis P., and Shreve, S
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:00.642388Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b3f9d7b8-549c-4ed4-8ecb-159ad5a21aa1 · outbound
This paper cites InProceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control(2019), pp.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis InProceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control(2019), pp
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:00.784837Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 66f7ae18-8756-4100-9090-cc111ab04341 · outbound
This paper cites an unresolved cited work.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:00.816316Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 17a0e3f1-1209-453c-93d3-a61eaa443059 · outbound
This paper cites an unresolved cited work.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:00.819642Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f183e5e2-9f6f-4ade-a6cf-348b62a93a6b · outbound
This paper cites J.Parallelizing the dual revised simplex method.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis J.Parallelizing the dual revised simplex method
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:00.874989Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b1dc287-a4d3-40be-81b2-aa7f9737868a · outbound
This paper cites [9]Legat, B.Multivariate polynomials in Julia.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis [9]Legat, B.Multivariate polynomials in Julia
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:00.980991Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3880a0e6-6eee-4f44-a5af-711998d0f204 · outbound
This paper cites P.JuMP 1.0: Recent improvements to a modeling language for mathematical optimization.Mathematical Programming Computation(2023).
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis P.JuMP 1.0: Recent improvements to a modeling language for mathematical optimization.Mathematical Programming Computation(2023)
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.072423Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a953b7a5-4cec-4572-bb8d-209ba59631a1 · outbound
This paper cites IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.117237Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 41eef03e-8a4e-417f-bd22-d391962ff671 · outbound
This paper cites A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.196953Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 903ab93a-be5e-4eb4-938f-9e287f33e2d3 · outbound
This paper cites Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions.Advances in Neural Information Processing Systems(2022).
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions.Advances in Neural Information Processing Systems(2022)
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.343095Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d5299659-6f2a-422e-92f1-ae1b26f0ecf9 · outbound
This paper cites Piecewise Stochastic Barrier Functions.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis Piecewise Stochastic Barrier Functions
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.403538Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3de2ea3a-b381-4d95-aaa5-e328e7bc3f40 · outbound
This paper cites an unresolved cited work.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.435548Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e4056c65-f515-4b9a-bdd3-db881f62e158 · outbound
This paper cites M., et al.Julia: come for the syntax, stay for the speed.Nature 572, 7767 (2019), 141–142.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis M., et al.Julia: come for the syntax, stay for the speed.Nature 572, 7767 (2019), 141–142
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.467382Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c84204ac-d029-4377-8f8a-a1639f683159 · outbound
This paper cites an unresolved cited work.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.527166Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aa5ab2cc-642d-45ea-a6c0-7845d40d5207 · outbound
This paper cites J.A framework for worst-case and stochastic safety verification using barrier certificates.IEEE Transactions on Automatic Control 52, 8 (2007).
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis J.A framework for worst-case and stochastic safety verification using barrier certificates.IEEE Transactions on Automatic Control 52, 8 (2007)
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.596808Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 600eee24-8ce0-440f-88dd-c78b428c2978 · outbound
This paper cites A.Introducing SOSTOOLS: A General Purpose Sum of Squares Programming Solver.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis A.Introducing SOSTOOLS: A General Purpose Sum of Squares Programming Solver
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.699630Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6043c9be-77fe-413e-a589-f5415df01317 · outbound
This paper cites A., and Dos Santos, P.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis A., and Dos Santos, P
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.756036Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5c8c2efb-0f8e-4489-9bf9-ca2038a878af · outbound
This paper cites an unresolved cited work.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis Unresolved cited work
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.841704Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 364b47a4-f77e-42f3-a199-351690a1461f · outbound
This paper cites [24]Schneeberger, M., Dörfler, F., and Mastellone, S.Sos construction of com- patible control lyapunov and barrier functions.IFAC-PapersOnLine 56, 2 (2023), 10428–10434.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis [24]Schneeberger, M., Dörfler, F., and Mastellone, S.Sos construction of com- patible control lyapunov and barrier functions.IFAC-PapersOnLine 56, 2 (2023), 10428–10434
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:01.946230Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cc5e7229-49fb-47c1-86cc-69573d94979e · outbound
This paper cites Satisfiability.jl: Satisfiability Modulo Theories in Julia.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis Satisfiability.jl: Satisfiability Modulo Theories in Julia
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:02.039726Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0037eadb-841c-4489-a76f-34b7ef170443 · outbound
This paper cites In2018 Annual American Control Conference (ACC)(2018), IEEE, pp.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis In2018 Annual American Control Conference (ACC)(2018), IEEE, pp
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:02.121581Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 55dd70f1-a33b-408e-aef8-e9d97e680a57 · outbound
This paper cites ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:02.206638Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7fcc805d-6a39-4f23-b9df-72a29f46d1e6 · outbound
This paper cites PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:25:02.310902Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 19a3fdde-f9ad-422b-882c-7ddbe49dd60c · outbound
This paper cites linear.
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis linear
Reference 29
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-02T21:25:02.460237Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation 503bd3c8-270a-479c-bf13-91f5dd1bc81f · inbound
Stochastic Barrier Certificates in the Presence of Dynamic Obstacles cites this paper.
Stochastic Barrier Certificates in the Presence of Dynamic Obstacles StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
Reference 11
- Resolution
- verified exact
- arxiv_id, observed 2026-06-25T01:17:50.823448Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.