{"as_of":"2026-08-11T01:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:dcf48544220c595df394cf86b39ecbccbab54b730291894804eb36c8e179c2f9","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-10T06:31:04.303077+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:2a70c324482a3dc6d3d3f13cba0ae8c448838f28281500012923ea4ad4928824","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:0cd0eb30e6c1c87acc24eecb744b5e4d778984a69054d0543eef4644e3fdd8d5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:6442ad74c610aaa1e28aa9890bada208e1127d2ecd512b4196d4f8be4ac43e8a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:e9ade168335f53e80ebe3b810a1d73c72cc0cd2f618b595faa1cc12fcd6cbe97","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:32556cbd16a173dd2f080d8065bb2ca03f73345907ed2012e0b80ed37a42aad0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:5dff4b5f89e40431fab26eead8f484cfcab50ce6d9e9f9987102efc9a2618192","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:7229a13299284483fe9b27dd549fe3bac16a920e7a481b86fa1aaf69f89386b7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:347b61ba811ec86ea047426b75c25778534ca1094c1137663c37b8d02f9f4b44","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:01f88f430d8858cf057b707ae364db6331f9bc59b39536c4434b45d6a711bc16","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-09T17:23:55.100142Z","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:4cadfd306d933af657ac1de074fd9da5d4be97da02fe3dbc421972fe169ad1be","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:9e4a6f7e785a29b7a8ff63d68cd6cd61ab871b0f9c5e0165637557551d64ee28","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:7822d4e21b16ef700b06385528e7826a67af2055b1872c56ad27afcca0b566be","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:6b20e105e5cc43833021f60393948f431be9dae385c6f124f6d20b6265c7fc90","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f2f63b7359702d4e289ba115acf5d3d6e3ecda3237bbcc61e23554a456119cb6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:39f1bac99458be6758a4414075ab6b74bf75816a490cb83c231e15ce912b35a5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f0b35e3ee38c4416d9e42e068768f7f436842d0e0d8cf013b61d62ce6a9885d7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:836a60255cd9bd8949f01d975cf8a06e97da3bb18c798063ea2366207dc290f6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2506.09164."}