{"as_of":"2026-08-08T12:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:34e536c61c25dd61471572f9c9a9b763f3b756c052c9d2efece7189769c691f5","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T21:25:02.460237Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T00:47:16.225401Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-10T00:49:48.566126Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"cited_work":{"arxiv_id":"2602.20359","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2602.20359","snapshot_observed_at":"2026-06-25T01:17:50.823448Z","title":"Stochas- ticbarrier. jl: A toolbox for stochastic barrier function synthesis","venue":null,"work_id":"640e815c-b037-41c6-a3d6-beebb65e0a40","year":2026},"citing_paper":{"arxiv_id":"2604.20208","last_updated":"2026-04-22T05:49:35Z","snapshot_observed_at":"2026-07-06T23:06:40.154278Z","submitted_at":"2026-04-22T05:49:35Z","title":"Stochastic Barrier Certificates in the Presence of Dynamic Obstacles","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T00:47:16.225401Z"},"links":{"cited_paper":"/paper/2602.20359","citing_paper":"/paper/2604.20208"},"observation_digest":"sha256:f057dd6bd5e35781cd50850477d713d326f9ee86cd9bee176a32e395577c314f","observation_id":"503bd3c8-270a-479c-bf13-91f5dd1bc81f","resolution":{"observed_at":"2026-06-25T01:17:50.823448Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2602.20359/citation-record","integrity":"/paper/2602.20359/integrity","json":"/paper/2602.20359/citation-record.json","paper":"/paper/2602.20359"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:00.396994Z","title":"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","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:00.396994Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:17c93d914b1fa4c3e0c91a6b71b472154e79c71d028b7a028bd722aeddee8838","observation_id":"19f12d87-f096-491a-9309-d084df4b6ded","resolution":{"observed_at":"2026-08-02T21:25:00.396994Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:00.479094Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:00.479094Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:39ad0ee9576ef64b0625ffb33b813e88016a3eb993e3b16a3519f5df335fc338","observation_id":"83e7f40f-d3d5-4593-8ca7-8152f31fd108","resolution":{"observed_at":"2026-08-02T21:25:00.479094Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:00.642388Z","title":"P., and Shreve, S","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:00.642388Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:a16cd23f4b37189915bad2d7260d2bf42b31c90740295dd80824ba104e3837b2","observation_id":"0348d9f2-a956-4fbc-a959-dda8759f0ee7","resolution":{"observed_at":"2026-08-02T21:25:00.642388Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:00.784837Z","title":"InProceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control(2019), pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:00.784837Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:977a219d445c926a9afac8440308ddf378bde03e0517a2d44b29eab721b7cabd","observation_id":"b3f9d7b8-549c-4ed4-8ecb-159ad5a21aa1","resolution":{"observed_at":"2026-08-02T21:25:00.784837Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:00.816316Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:00.816316Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:532a1466aea1e23703a7c3da0e279ba883d9d676e0c3bd4d2068fe48c044ef10","observation_id":"66f7ae18-8756-4100-9090-cc111ab04341","resolution":{"observed_at":"2026-08-02T21:25:00.816316Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:00.819642Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:00.819642Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:b8229d2130791f129cf2efcdafc0e90e4a542a3de5561fb381e40f5ac82383f0","observation_id":"17a0e3f1-1209-453c-93d3-a61eaa443059","resolution":{"observed_at":"2026-08-02T21:25:00.819642Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:00.874989Z","title":"J.Parallelizing the dual revised simplex method","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:00.874989Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:6182dcdd518294736a49974e05e29d166816b3d8aa28c6209f302c926cac835a","observation_id":"f183e5e2-9f6f-4ade-a6cf-348b62a93a6b","resolution":{"observed_at":"2026-08-02T21:25:00.874989Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:00.980991Z","title":"[9]Legat, B.Multivariate polynomials in Julia","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:00.980991Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:7a0ea059d3d8ecc7aa296721aeeaaee7029759ce64872ed0a6cfc6360e1a7a78","observation_id":"5b1dc287-a4d3-40be-81b2-aa7f9737868a","resolution":{"observed_at":"2026-08-02T21:25:00.980991Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:01.072423Z","title":"P.JuMP 1.0: Recent improvements to a modeling language for mathematical optimization.Mathematical Programming Computation(2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.072423Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:b0c4a8f1da71058d3404ab31a7751f8b53601fb77c821ee045c621207fe5c589","observation_id":"3880a0e6-6eee-4f44-a5af-711998d0f204","resolution":{"observed_at":"2026-08-02T21:25:01.072423Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.04068","last_updated":"2024-04-29T11:04:38Z","snapshot_observed_at":"2026-07-06T17:12:56.275051Z","submitted_at":"2024-01-08T18:11:22Z","title":"IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.04068","snapshot_observed_at":"2026-08-02T21:25:01.117237Z","title":"B., Lahijanian, M., and Laurenti, L.IntervalMDP","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.117237Z"},"links":{"cited_paper":"/paper/2401.04068","citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:8674552239c6c01517bcd054390063c4c2fab4f2b36ea0c5c7b185b9130cdf56","observation_id":"a953b7a5-4cec-4572-bb8d-209ba59631a1","resolution":{"observed_at":"2026-08-02T21:25:01.117237Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.06662","last_updated":"2024-10-09T08:17:29Z","snapshot_observed_at":"2026-08-03T14:37:12.036782Z","submitted_at":"2024-10-09T08:17:29Z","title":"A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.06662","snapshot_observed_at":"2026-08-02T21:25:01.196953Z","title":"B., Romao, L., Calvert, S","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.196953Z"},"links":{"cited_paper":"/paper/2410.06662","citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:6ec4744084644bcbba29b38155c028de0b335c327bf01fcaa10ae12aa1a08df8","observation_id":"41eef03e-8a4e-417f-bd22-d391962ff671","resolution":{"observed_at":"2026-08-02T21:25:01.196953Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:01.343095Z","title":"Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions.Advances in Neural Information Processing Systems(2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.343095Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:f60ff44d183d3066bf46cbcb27cf4559e8b8b93fa043bb35f5d1aff390bbcc10","observation_id":"903ab93a-be5e-4eb4-938f-9e287f33e2d3","resolution":{"observed_at":"2026-08-02T21:25:01.343095Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.16986","last_updated":"2024-10-23T00:42:50Z","snapshot_observed_at":"2026-08-07T15:27:55.768189Z","submitted_at":"2024-04-25T19:16:16Z","title":"Piecewise Stochastic Barrier Functions","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.16986","snapshot_observed_at":"2026-08-02T21:25:01.403538Z","title":"B., Frew, E., Laurenti, L., and Lahija- nian, M.Data-Driven Permissible Safe Control with Barrier Certificates.arXiv preprint arXiv:2404.16986(2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.403538Z"},"links":{"cited_paper":"/paper/2404.16986","citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:845f03e4466b12ef9217a325124761cc1905801647ffa429d25b9ce2febccc5e","observation_id":"d5299659-6f2a-422e-92f1-ae1b26f0ecf9","resolution":{"observed_at":"2026-08-02T21:25:01.403538Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:01.435548Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.435548Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:19a7b6962f2c73980fb2d9185555260ae3b02ec4db72ce695e093a109a928a3f","observation_id":"3de2ea3a-b381-4d95-aaa5-e328e7bc3f40","resolution":{"observed_at":"2026-08-02T21:25:01.435548Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:01.467382Z","title":"M., et al.Julia: come for the syntax, stay for the speed.Nature 572, 7767 (2019), 141–142","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.467382Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:bb1949c95ceff7f127614fdd27ec2f6d89bc7f5bde8d8425047e02dc93d71d24","observation_id":"e4056c65-f515-4b9a-bdd3-db881f62e158","resolution":{"observed_at":"2026-08-02T21:25:01.467382Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:01.527166Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.527166Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:08548d7336570f802e1b79b9665455fa782dfa9f41b549bc7d7f3288e00d55e2","observation_id":"c84204ac-d029-4377-8f8a-a1639f683159","resolution":{"observed_at":"2026-08-02T21:25:01.527166Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:01.596808Z","title":"J.A framework for worst-case and stochastic safety verification using barrier certificates.IEEE Transactions on Automatic Control 52, 8 (2007)","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.596808Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:ded662ef85d041f66767dbfb930dd64b6fb6db12615f6b8d504da7116cb79e3e","observation_id":"aa5ab2cc-642d-45ea-a6c0-7845d40d5207","resolution":{"observed_at":"2026-08-02T21:25:01.596808Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:01.699630Z","title":"A.Introducing SOSTOOLS: A General Purpose Sum of Squares Programming Solver","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.699630Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:903f40ead655efaca0fafbc213045982ab45b33b7f2e919000c1ccab37f93e70","observation_id":"600eee24-8ce0-440f-88dd-c78b428c2978","resolution":{"observed_at":"2026-08-02T21:25:01.699630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:01.756036Z","title":"A., and Dos Santos, P","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.756036Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:ba8fc10655779844a46da2da8da49f2a8b3ffb54a8ea5e5bf49ce68e2b580d56","observation_id":"6043c9be-77fe-413e-a589-f5415df01317","resolution":{"observed_at":"2026-08-02T21:25:01.756036Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:01.841704Z","title":null,"venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.841704Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:f77f1dcd2a3ca96dd8904cdd3b20e2e607c62f796c98e6e5687142f947f4654e","observation_id":"5c8c2efb-0f8e-4489-9bf9-ca2038a878af","resolution":{"observed_at":"2026-08-02T21:25:01.841704Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:01.946230Z","title":"[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","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:01.946230Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:e25bb7730a08fda10575ab38f66610f9a9c1bed634e362ef2d4ba312930cb3a9","observation_id":"364b47a4-f77e-42f3-a199-351690a1461f","resolution":{"observed_at":"2026-08-02T21:25:01.946230Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.08778","last_updated":"2023-12-16T01:55:49Z","snapshot_observed_at":"2026-07-06T16:19:13.935627Z","submitted_at":"2023-09-15T21:44:49Z","title":"Satisfiability.jl: Satisfiability Modulo Theories in Julia","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.08778","snapshot_observed_at":"2026-08-02T21:25:02.039726Z","title":"J., and Lall, S.Satisfiability","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:02.039726Z"},"links":{"cited_paper":"/paper/2309.08778","citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:bccb13ee9c824375bc8e4a529642bf1c2bbae5a18180af393aec09895fb24587","observation_id":"cc5e7229-49fb-47c1-86cc-69573d94979e","resolution":{"observed_at":"2026-08-02T21:25:02.039726Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:02.121581Z","title":"In2018 Annual American Control Conference (ACC)(2018), IEEE, pp","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:02.121581Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:4e675eb38864d6fb98ec878856e1f39c6f032994536d3f212075a6d941972db1","observation_id":"0037eadb-841c-4489-a76f-34b7ef170443","resolution":{"observed_at":"2026-08-02T21:25:02.121581Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.01639","last_updated":"2025-07-20T19:00:22Z","snapshot_observed_at":"2026-07-06T18:39:52.378049Z","submitted_at":"2024-06-30T20:15:31Z","title":"ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.01639","snapshot_observed_at":"2026-08-02T21:25:02.206638Z","title":"S., Hu, H., Niu, P., Luo, X., and Liu, C.Modelveri- fication","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:02.206638Z"},"links":{"cited_paper":"/paper/2407.01639","citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:925b10b77f59e770b93131c581b1c4da9f2bbbcf2bc85532a3920ac37e2f4345","observation_id":"55dd70f1-a33b-408e-aef8-e9d97e680a57","resolution":{"observed_at":"2026-08-02T21:25:02.206638Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.14804","last_updated":"2025-06-11T05:56:01Z","snapshot_observed_at":"2026-07-06T18:04:13.083818Z","submitted_at":"2024-04-23T07:34:04Z","title":"PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.14804","snapshot_observed_at":"2026-08-02T21:25:02.310902Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:02.310902Z"},"links":{"cited_paper":"/paper/2404.14804","citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:7d7469be6559888e8fc4dd5e652216ff340a5d66966da934f37f4ed3a8f0d980","observation_id":"7fcc805d-6a39-4f23-b9df-72a29f46d1e6","resolution":{"observed_at":"2026-08-02T21:25:02.310902Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:25:02.460237Z","title":"linear","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:02.460237Z"},"links":{"citing_paper":"/paper/2602.20359"},"observation_digest":"sha256:8a56040d81785436d66fcc55945c1f94bb2d0bc24d49e35a5bbe2f213fa15edc","observation_id":"19a3fdde-f9ad-422b-882c-7ddbe49dd60c","resolution":{"observed_at":"2026-08-02T21:25:02.460237Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2602.20359","last_updated":"2026-06-24T01:01:42Z","latest_version":3,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-02T21:24:59.439444Z","submitted_at":"2026-02-23T21:06:30Z","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":25,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":26},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"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."}