{"as_of":"2026-08-08T12:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4ac3b89385afd9eca55326b2a6c7d1e2dc7e07b0ff7caea801d37f47c83f7801","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:02:47.236543Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.09164/citation-record","integrity":"/paper/2506.09164/integrity","json":"/paper/2506.09164/citation-record.json","paper":"/paper/2506.09164"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.469633Z","title":"A framework for worst-case and stochastic safety verification using barrier certificates,","venue":null,"work_id":"4eda602e-ed9f-4707-bc90-a2823e059400","year":2007},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.166800Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:fdc89f00e9a172f196950b0c522adba0817bb2a4ac79303b86cd6ee1d918fa45","observation_id":"d26101ec-49f2-41b6-9b0b-5b3b83c0fea3","resolution":{"observed_at":"2026-08-07T05:02:47.473135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.170645Z","title":"A barrier function approach to finite-time stochastic system verification and control,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.170645Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:bf7e5aec00fb656160d86060da4df422eaae86c43a89edb033b61293a695fc5a","observation_id":"78573147-bd84-4daa-9b61-cf79976e7a15","resolution":{"observed_at":"2026-08-07T05:02:47.170645Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.451407Z","title":"Safety certification for stochastic systems via neural barrier functions,","venue":null,"work_id":"85251ac8-d6c9-4b9b-bc42-c584f66e428b","year":2022},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.173990Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:cb4b33f0f7f61d8db5c266e2548a859616f711460bdb3c7e4ecf17cd3b7bd132","observation_id":"4d8f7e79-35e9-4c36-bfd2-2a9c1d93dca2","resolution":{"observed_at":"2026-08-07T05:02:47.454909Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"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-07T05:02:47.177415Z","title":"Piecewise stochastic barrier functions,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.177415Z"},"links":{"cited_paper":"/paper/2404.16986","citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:a1f14fa9f9b8b91d4b456ad2faec789dd5c9f22e1e923f6d0c1bc4cd7377e183","observation_id":"f06ec18c-1f4c-4b7b-9872-ca7afa2302ac","resolution":{"observed_at":"2026-08-07T05:02:47.177415Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.441095Z","title":"Formal synthesis of stochastic systems via control barrier certificates,","venue":null,"work_id":"19105ece-b7a1-483f-88be-3b8acb556294","year":2020},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.181062Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:591fb07f3b1472d8e29a57c2b65b743efa293497d13cf14de70f7a1915e45452","observation_id":"41eab634-1e9c-4eb5-9944-1133dd532ba1","resolution":{"observed_at":"2026-08-07T05:02:47.444825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.431351Z","title":"Some np-complete problems in quadratic and nonlinear programming,","venue":null,"work_id":"d238b8b5-05ca-4dad-9b22-e3b726271452","year":1985},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.183890Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:f6304372842f69a84c97db3868c7a27906aef6de22ccd92a092e58bc0c612bca","observation_id":"a728a644-cfef-4f26-a1ee-e735605be5de","resolution":{"observed_at":"2026-08-07T05:02:47.434639Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.421437Z","title":"A nullstellensatz and a positivstellensatz in semialgebraic geometry,","venue":null,"work_id":"267f327c-4600-4571-86c7-a98850ced36f","year":1974},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.186834Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:488f7c3e0a0aeb34badaa1e1b3b1d31ec594f33e82b918948093918489e79ef9","observation_id":"f5ee11e4-3b1e-4f9e-a281-b7b833f75442","resolution":{"observed_at":"2026-08-07T05:02:47.425254Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.410397Z","title":"Convergent bounds for the range of multivariate polynomials,","venue":null,"work_id":"b863e199-7774-4dbc-9d7f-5c75eba98b43","year":1985},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.189329Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:dfc0b15d82b6353d203e8d3dbb180cf0882be8c6e9f31c870f494e7495777695","observation_id":"110b9fea-f2e3-4d1d-b5bb-b68ac03a972b","resolution":{"observed_at":"2026-08-07T05:02:47.414006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.399555Z","title":"Linear relaxations of polynomial positivity for polynomial lyapunov function synthesis,","venue":null,"work_id":"4692fb71-eb69-4869-b1fb-edd7bd26d5ee","year":2016},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.193251Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:d206ddf0fc11a9fec99f4415d227e435e63e922b44259201c84f1361dc5f07ae","observation_id":"fac0322d-61f0-4e5c-a95d-ad0cce198ffb","resolution":{"observed_at":"2026-08-07T05:02:47.403569Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.196688Z","title":"Formal abstraction of general stochastic systems via noise partitioning,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.196688Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:62aff91a2736686d347c0f38182a4a954dc99713610e0a559015d3190e63d425","observation_id":"782d7dfa-87c8-420c-9b4f-d283e9bcede3","resolution":{"observed_at":"2026-08-07T05:02:47.196688Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.380809Z","title":"Abstraction-based synthesis for stochastic systems with omega-regular objectives,","venue":null,"work_id":"8691adc7-657b-420b-a900-8e856c43e878","year":2022},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.199556Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:d312d4fdb21005847000ccf0f6fb81296a869585e33054df69769f295d6e3b83","observation_id":"5436876c-0155-4c0c-95a7-23719c40b220","resolution":{"observed_at":"2026-08-07T05:02:47.385225Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.369074Z","title":"Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems,","venue":null,"work_id":"c21ab9d1-1296-425c-b50b-ab63e600cd64","year":2019},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.203376Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:615a6ec827ae3bc7e7791e248e89b0dcc3248e8d2146ef1afb150b4edc90ffa8","observation_id":"8788d6f2-fd40-46ee-af28-a1c7d5281e5d","resolution":{"observed_at":"2026-08-07T05:02:47.372885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":{"arxiv_id":"2310.01802","last_updated":"2025-05-24T18:56:26Z","snapshot_observed_at":"2026-07-06T16:26:54.244094Z","submitted_at":"2023-10-03T05:19:55Z","title":"A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.01802","snapshot_observed_at":"2026-08-07T05:02:47.206915Z","title":"A unifying perspective for safety of stochastic systems: From barrier functions to finite abstractions,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.206915Z"},"links":{"cited_paper":"/paper/2310.01802","citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:640f47c39445373f1c3e7454752f5d520f28c5b587faae5c3eeb7ec70e212be2","observation_id":"ad9a38b4-6ea8-4aa9-8126-6ffa1930e0a7","resolution":{"observed_at":"2026-08-07T05:02:47.206915Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.359234Z","title":"Learning control policies for stochastic systems with reach-avoid guarantees,","venue":null,"work_id":"b5e61b12-8ec0-494c-a50d-3304c3ce6473","year":2023},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.210558Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:37351a1a1c5e5cdfb762e5ace887cec2f8f16178950fc22a16dca9c68ff23dc9","observation_id":"1b360f33-1ea2-4355-ae85-b03f20bf1df2","resolution":{"observed_at":"2026-08-07T05:02:47.362322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.349044Z","title":"Fast verification of control barrier functions via linear programming,","venue":null,"work_id":"db85599e-cf71-40b3-a36e-2ef12d09000d","year":2023},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.213489Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:8bcb38feb8e51c44e2bb0612ee18369f8a91cc7abd0ee542c53cd3227ff6f891","observation_id":"5133c3d7-07b6-49f4-bd0c-952bb3c16e64","resolution":{"observed_at":"2026-08-07T05:02:47.352260Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":{"arxiv_id":"1707.02964","last_updated":"2018-06-24T19:07:11Z","snapshot_observed_at":"2026-07-06T05:50:31.430287Z","submitted_at":"2017-07-10T17:49:19Z","title":"Counterexample to global convergence of DSOS and SDSOS hierarchies","version":2},"cited_work":{"arxiv_id":"1707.02964","doi":null,"metadata_source":"pith","pith_arxiv_id":"1707.02964","snapshot_observed_at":"2026-08-07T05:02:47.260888Z","title":"Counterexample to global convergence of DSOS and SDSOS hierarchies","venue":"math.OC","work_id":"9be3d381-19a7-4d8a-9aa0-90e283daaf9c","year":2017},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.216147Z"},"links":{"cited_paper":"/paper/1707.02964","citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:a0a4cc105be1074ac17559eb38a60541524a2cacd59d6b472ee5b8fb16ae26bc","observation_id":"4908490e-7633-43fc-b05f-715c5a1c80fd","resolution":{"observed_at":"2026-08-07T05:02:47.265950Z","resolver_source":"local_arxiv","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.339393Z","title":"On the complexity of putinar’s positivstel- lensatz,","venue":null,"work_id":"e611ed2e-9c58-4d11-a644-3732f596aabb","year":2007},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.219932Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:0ebd85c70063cbff6a989ab0de3a92afb9c4df15f6654b116a9f628ca94d3118","observation_id":"2a5a6461-b0c5-400e-9f27-880626eca74b","resolution":{"observed_at":"2026-08-07T05:02:47.342467Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.328025Z","title":"Safety guarantees for neural network dynamic systems via stochastic barrier functions,","venue":null,"work_id":"4a3e1ca3-1ecd-4627-9c45-fc153731126a","year":2022},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.223582Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:5a2b96d0fcebe8a0fcff60892efce2e38d56715a2407465dc0cfdf6be3894588","observation_id":"754e7223-9528-422c-9e04-31c29cc0f49a","resolution":{"observed_at":"2026-08-07T05:02:47.331517Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.226329Z","title":"Semidefinite programming,","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.226329Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:d305dd515d1ebc594b9ae81773407c6a8f80d7d1cf0dc005b5e3f63bdd2d3ba0","observation_id":"4d44b4c7-dce3-4597-afc6-190adff5f531","resolution":{"observed_at":"2026-08-07T05:02:47.226329Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.310802Z","title":"Über die analytische darstellbarkeit sogenannter willkür- licher functionen einer reellen veränderlichen,","venue":null,"work_id":"ef2e1777-104b-4283-8f55-1765ef00f0f4","year":null},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.230076Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:858c03c93ed4063b5f2d0ac18063f96ab2623f3a30227f49942b505c7651fb17","observation_id":"2ffdf7bc-f6aa-43c7-ad6c-d90dfa74f2cd","resolution":{"observed_at":"2026-08-07T05:02:47.314797Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.233592Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.233592Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:e44fdc7603ffe8ccd344432554df553f4c8debc5e05adb80c6f107713ca4c326","observation_id":"299bdc31-5d16-4a51-8624-7f4942c5ef88","resolution":{"observed_at":"2026-08-07T05:02:47.233592Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:02:47.294229Z","title":"The bernstein algorithm,","venue":null,"work_id":"f473ca38-99ab-471e-89df-eeb0e3a27c47","year":1993},"citing_paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T05:02:47.236543Z"},"links":{"citing_paper":"/paper/2506.09164"},"observation_digest":"sha256:6236c551fa06334ba8cc132bd64808453c94b1ce19f7b5028dabba439073e280","observation_id":"944dab85-6253-4eac-9331-2c4c62a2005b","resolution":{"observed_at":"2026-08-07T05:02:47.297565Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}}],"paper":{"arxiv_id":"2506.09164","last_updated":"2025-06-10T18:25:16Z","latest_version":1,"primary_category":"math.OC","snapshot_observed_at":"2026-08-07T04:53:19.392841Z","submitted_at":"2025-06-10T18:25:16Z","title":"On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":1,"verified_fuzzy":15},"total_outbound_references":22},"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 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2506.09164."}