{"as_of":"2026-08-18T01:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9c2642389eb850900555c8b9784e190642311673c201123bca16431ccc0923cd","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T18:26:17.860775Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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-08T10:39:28.215469Z","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-11T19:56:09.216355Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"cited_work":{"arxiv_id":"2507.17703","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.17703","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv:2507.17703 , year=","venue":null,"work_id":"33a8a4b3-bb74-441f-aac2-2fdf75de4193","year":null},"citing_paper":{"arxiv_id":"2605.06087","last_updated":"2026-05-07T12:10:07Z","snapshot_observed_at":"2026-07-06T23:18:36.537416Z","submitted_at":"2026-05-07T12:10:07Z","title":"Safety Certification is Classification","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-05-08T10:39:28.215469Z"},"links":{"cited_paper":"/paper/2507.17703","citing_paper":"/paper/2605.06087"},"observation_digest":"sha256:c89168de1ec4ce7632016b6eada713370a46c66116ebf91dfe986bae9662607e","observation_id":"1588d28f-d173-404c-ac77-fa26f6cc26ee","resolution":{"observed_at":"2026-05-11T19:56:09.218557Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.17703/citation-record","integrity":"/paper/2507.17703/integrity","json":"/paper/2507.17703/citation-record.json","paper":"/paper/2507.17703"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"1708.06374","last_updated":"2018-10-27T09:10:37Z","snapshot_observed_at":"2026-08-14T20:40:10.021267Z","submitted_at":"2017-08-21T18:22:19Z","title":"On a Formal Model of Safe and Scalable Self-driving Cars","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1708.06374","snapshot_observed_at":"2026-08-15T18:26:17.689420Z","title":"On a Formal Model of Safe and Scalable Self-driving Cars,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.689420Z"},"links":{"cited_paper":"/paper/1708.06374","citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:5776aa6db100ff8ea78e2f8944129cee677db2fc357d686f3bf4091fea9a092e","observation_id":"62bcc430-af9a-421a-9e6e-bd1086dc2c32","resolution":{"observed_at":"2026-08-15T18:26:17.689420Z","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-15T18:26:18.459981Z","title":"Safety-Critical Ad- vanced Robots: A Survey,","venue":null,"work_id":"6e6a3717-2273-4be1-be44-a3e2eea42c52","year":2017},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.695201Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:0758d457f1d350c53e4ff71eee0cb685b86caf5eae5425027818de68a8935d4f","observation_id":"69c023c2-188a-4848-80d9-b4c88c3648d9","resolution":{"observed_at":"2026-08-15T18:26:18.464541Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.445720Z","title":"Dynamics and optimal control for free-flight and tethered arrays in low earth orbit,","venue":null,"work_id":"adc45e3d-4c47-440a-8597-b42c7efb7f74","year":2021},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.699830Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:d086240d402294aaa68529fa30053cdbd948fc9436a78422398cb3c3a5d46733","observation_id":"75df82c9-3bfa-4c95-b0cf-4b72e4cffb61","resolution":{"observed_at":"2026-08-15T18:26:18.450278Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.05693","last_updated":"2024-03-14T01:37:02Z","snapshot_observed_at":"2026-08-16T14:11:29.232878Z","submitted_at":"2024-03-08T22:04:25Z","title":"Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking","version":3},"cited_work":{"arxiv_id":"2403.05693","doi":null,"metadata_source":"pith","pith_arxiv_id":"2403.05693","snapshot_observed_at":"2026-08-15T18:26:18.022622Z","title":"Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking","venue":"cs.LG","work_id":"e6472802-19ad-4af1-98af-4884006e73e1","year":2024},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.704745Z"},"links":{"cited_paper":"/paper/2403.05693","citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:f53ebde2469ca1bf9f9d1205680f2ddeba839e95fb3f163d4ae820f24fc641fa","observation_id":"9cfc04cf-fe2e-4709-bf86-18b8981a6c2f","resolution":{"observed_at":"2026-08-15T18:26:18.028048Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.430793Z","title":"Synthesis for robots: Guarantees and feedback for robot behavior,","venue":null,"work_id":"9eb64b4d-adff-499a-91a2-b662a370c345","year":2018},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.709826Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:f395c5204dc7f4d011f5c2a0f37b2a563835b505d9e72ba345881e92e7917fc1","observation_id":"11675a09-9e8b-402d-8178-843b18c57aee","resolution":{"observed_at":"2026-08-15T18:26:18.436180Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"cited_work":{"arxiv_id":"2412.17992","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.17992","snapshot_observed_at":"2026-08-15T18:26:17.994003Z","title":"Falsification of Autonomous Systems in Rich Environments","venue":"cs.RO","work_id":"31124c91-fd3b-4a58-9396-e517b4b1c77b","year":2024},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.714602Z"},"links":{"cited_paper":"/paper/2412.17992","citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:3f5c74a64a44b532da91bbc4857a9383c9980e92b9c92a77a77f62d61a8786ee","observation_id":"14627f85-055a-44c5-a945-4ff09a900196","resolution":{"observed_at":"2026-08-15T18:26:17.999327Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.416928Z","title":"Control Barrier Functions: Theory and Applications,","venue":null,"work_id":"52e04ada-a78f-437d-a69b-c085f44aec26","year":2019},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.720625Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:d5b1328c487de1e875dfb944e38ae1827acdc810ade103c68e9f2862b162e5b3","observation_id":"2bbb8d86-ff1b-4ba9-8d0a-2e8c097f721d","resolution":{"observed_at":"2026-08-15T18:26:18.421363Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.402567Z","title":"Control Barrier Function based Quadratic Programs for Safety Critical Systems,","venue":null,"work_id":"4c0f8b93-f839-4244-87ad-9b8d0e6e94f6","year":2016},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.726129Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:acd5e447448600c6549a3e25e3840d64a848be11cb11126647aa6fdc5f7fb9d8","observation_id":"ce2cd5cc-f96d-4820-8ec2-52d4e93a8057","resolution":{"observed_at":"2026-08-15T18:26:18.406890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.388203Z","title":"Tabuada, Verification and Control of Hybrid Systems: a Symbolic Approach","venue":null,"work_id":"ae6926bf-5c4f-49ae-bce1-65dc89634ad5","year":2009},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.731406Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:69275b070e4cb7c949b4fa50078d97f97912dfd29c4fc005c50134c56b58e322","observation_id":"9cd39a9c-76ea-478f-b6b7-5625d3ab607a","resolution":{"observed_at":"2026-08-15T18:26:18.393322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.373350Z","title":"Formal Verification and Synthesis for Discrete-time Stochastic Systems,","venue":null,"work_id":"76a04ff6-71e5-4e9e-8e72-655abe60f861","year":2015},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.735711Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:13f75eaf2af3f819dafd9b4b5820958ec6a553f6241b9068abea737db0a95be2","observation_id":"511df63c-f1bf-4c89-843a-8686631e3c0c","resolution":{"observed_at":"2026-08-15T18:26:18.377945Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T13:57:44.992507Z","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-15T18:26:17.740180Z","title":"Piecewise Stochastic Barrier Functions,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.740180Z"},"links":{"cited_paper":"/paper/2404.16986","citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:3cc38319df5a2de2a74997aabd9c5f58fd1d6e252ae89d03914e0f2350198432","observation_id":"f99eb02f-ea0b-4eea-a43e-a4cb146b4537","resolution":{"observed_at":"2026-08-15T18:26:17.740180Z","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-15T18:26:18.358174Z","title":"A Barrier Function Approach to Finite-time Stochastic System Verification and Control,","venue":null,"work_id":"e7bc74ad-51a0-4b93-9f0e-8da88cadc46c","year":2021},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.745071Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:cd2026fd9b4901a62a90631845bbe3b5465a8b53d280f123f3552809842081f1","observation_id":"06731e90-df2b-4c77-8ec6-7f55d5b3fdc0","resolution":{"observed_at":"2026-08-15T18:26:18.363788Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.344021Z","title":"Formal Synthesis of Stochas- tic Systems via Control Barrier Certificates,","venue":null,"work_id":"ca173a16-8ef3-47e7-ae6a-0de8a3e69bbf","year":2020},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.749693Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:111e7a9eff2c7c7542085beef218b53cfc028af6d3f38fa81a94110f876d289a","observation_id":"e26d94ea-76c0-45ff-8d94-92bbe1418553","resolution":{"observed_at":"2026-08-15T18:26:18.348410Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.329695Z","title":"Safety Guarantees for Neural Network Dynamic Systems via Stochas- tic Barrier Functions,","venue":null,"work_id":"25cbac1c-b5a5-42ee-8100-bba1dc92df0e","year":2022},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.753816Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:66b4410a46e11f3c2519afb252b0a8b886f43a082c91d20d67d974a2c1b01aa7","observation_id":"e25a9bac-00f0-4d35-bb35-b10593febfc2","resolution":{"observed_at":"2026-08-15T18:26:18.335088Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.315617Z","title":"Sum of Squares and Polynomial Convexity,","venue":null,"work_id":"93d5c87c-c664-4cdb-9ff4-6c0113333a12","year":2009},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.758329Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:c50c24c5087c880447ba610a566e63a2ad3d1cca966e516bcc2f32819405d73d","observation_id":"91ec4f6a-90e6-46ba-b731-b28389ca9c91","resolution":{"observed_at":"2026-08-15T18:26:18.319992Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.07469","last_updated":"2023-02-23T19:43:23Z","snapshot_observed_at":"2026-08-16T15:55:15.225015Z","submitted_at":"2023-02-15T04:47:03Z","title":"Robust Safety under Stochastic Uncertainty with Discrete-Time Control Barrier Functions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.07469","snapshot_observed_at":"2026-08-15T18:26:17.763469Z","title":"Robust Safety under Stochastic Uncertainty with Discrete-time Control Barrier Functions,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.763469Z"},"links":{"cited_paper":"/paper/2302.07469","citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:b61a53898dfff4d3c916e0a364fe39bd2fdcbf2d5515e1b4e43863d7e5323cc2","observation_id":"70a9d2e6-8073-4148-b1fe-cf98519d127e","resolution":{"observed_at":"2026-08-15T18:26:17.763469Z","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-15T18:26:18.301145Z","title":"Non-smooth Control Barrier Functions for Stochastic Dynamical Systems,","venue":null,"work_id":"098136e1-aec1-4fe5-ac8a-adc92f437101","year":2024},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.768387Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:83d1d4b3c783361168f69016b0cce7c92a4450f115783aa07df379a8c9684edc","observation_id":"3d433d84-4316-4829-8fd9-2f69d1860b7a","resolution":{"observed_at":"2026-08-15T18:26:18.305743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.286969Z","title":"Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems,","venue":null,"work_id":"7772d7d1-53d7-4f68-bf05-b96af9bb3fd6","year":2019},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.773408Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:2ef85bf4f79c256ff26c694e317b59e665c5140d6e33e4224259d4fb55646747","observation_id":"8ed7b15a-0f69-4df3-9856-996f2f81a769","resolution":{"observed_at":"2026-08-15T18:26:18.291556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.272689Z","title":"Interval Markov Decision Processes with Continuous Action-spaces,","venue":null,"work_id":"20659895-723e-45e3-97e2-3f803ce71e5d","year":2023},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.777845Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:868d87fd1091b2e0658b1fffd9b09aa5adfed6c88fbd5095712f3d3360385af8","observation_id":"637ce1b6-ad03-4aef-a046-ba3637adecd3","resolution":{"observed_at":"2026-08-15T18:26:18.277619Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.00136","last_updated":"2024-05-05T02:41:47Z","snapshot_observed_at":"2026-08-17T21:13:08.283822Z","submitted_at":"2024-04-30T18:32:24Z","title":"Data-Driven Permissible Safe Control with Barrier Certificates","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.00136","snapshot_observed_at":"2026-08-15T18:26:17.782898Z","title":"Data-Driven Permissible Safe Control with Barrier Certificates,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.782898Z"},"links":{"cited_paper":"/paper/2405.00136","citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:2e246e4707cb78c597230e06f88bd33e4329719a855fa61a35b014149381d737","observation_id":"ebcb73e7-49f5-4dda-85ce-27e009966018","resolution":{"observed_at":"2026-08-15T18:26:17.782898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.07359","last_updated":"2024-10-07T16:10:15Z","snapshot_observed_at":"2026-08-17T08:09:20.225202Z","submitted_at":"2024-10-07T16:10:15Z","title":"Learning-Based Shielding for Safe Autonomy under Unknown Dynamics","version":1},"cited_work":{"arxiv_id":"2410.07359","doi":null,"metadata_source":"pith","pith_arxiv_id":"2410.07359","snapshot_observed_at":"2026-08-15T18:26:17.927123Z","title":"Learning-Based Shielding for Safe Autonomy under Unknown Dynamics","venue":"eess.SY","work_id":"e4c598c5-a90f-44f1-9267-c06fe5080332","year":2024},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.787603Z"},"links":{"cited_paper":"/paper/2410.07359","citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:bbac7e946b693e6a4d8a0f2e51941678bd230eecd5e5cf989d8d1212a5c3250f","observation_id":"48981efd-6243-40fc-96d4-488493c2ade5","resolution":{"observed_at":"2026-08-15T18:26:17.933485Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.11343","last_updated":"2025-04-27T05:46:41Z","snapshot_observed_at":"2026-08-16T23:34:24.849585Z","submitted_at":"2024-12-15T23:55:55Z","title":"Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.11343","snapshot_observed_at":"2026-08-15T18:26:17.792655Z","title":"Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.792655Z"},"links":{"cited_paper":"/paper/2412.11343","citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:64875222dc08f9bf11330b6472d498729920cd605c3dc89b4aa83ab22a8426e4","observation_id":"3ca81646-8f48-4653-ad77-d16d4a1ce7f4","resolution":{"observed_at":"2026-08-15T18:26:17.792655Z","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-15T18:26:18.258983Z","title":"Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees,","venue":null,"work_id":"0d86c417-a780-4391-b1e0-4f410ed9831f","year":2023},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.797328Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:bfc43319d50c78255703d86d8ec8d57a82888ca5b58b40c39b7bc8dc416a74b1","observation_id":"32ed8774-1523-46d6-930a-f90b8dd176ab","resolution":{"observed_at":"2026-08-15T18:26:18.263397Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.243050Z","title":"Safe controller optimization for quadrotors with Gaussian processes,","venue":null,"work_id":"12f9b16b-27f3-4509-a15b-40f6e701fcd9","year":2016},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.802504Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:ca954f05f06d6088c49c73c9784f8760cf81954d051aab26e6f0666d6b1211e4","observation_id":"3c257f63-6276-43ec-ab95-30a30817a99c","resolution":{"observed_at":"2026-08-15T18:26:18.248699Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.227742Z","title":null,"venue":null,"work_id":"69d8ce4a-2e26-4dba-81bb-f37f4b72b741","year":2004},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.806653Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:50eceb9b52580e6d94b732b57aa1ac7062dbd3ddf79b7bf318b8e91e3939fe16","observation_id":"2ab72fa8-8e5f-4bc1-8089-3cf8eae13f19","resolution":{"observed_at":"2026-08-15T18:26:18.232219Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.213595Z","title":"Formal Control Synthesis for Stochastic Neural Network Dynamic Models,","venue":null,"work_id":"2381de50-9293-43a1-bce4-211327d0eca3","year":2022},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.810885Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:5066fc13c4073881227ea6536b58ae3e5ecdfbf32a9ea8354df5badcec6273ee","observation_id":"785f6c9f-301d-47b6-9bb4-ad4145f93b03","resolution":{"observed_at":"2026-08-15T18:26:18.218265Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T14:55:36.372207Z","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-15T18:26:17.815275Z","title":"Unifying Safety Approaches for Stochastic Systems: From Barrier Functions to Uncertain Abstractions via Dynamic Programming,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.815275Z"},"links":{"cited_paper":"/paper/2310.01802","citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:48e0833a92df09d737e7f7921f3a0ea6103a8dfc57d87de1b7d0568764cf671d","observation_id":"3df0e2dd-9051-4b66-9bc5-7318a04d79cf","resolution":{"observed_at":"2026-08-15T18:26:17.815275Z","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-15T18:26:18.197890Z","title":"Efficient Neural Network Robustness Certification with General Acti- vation Functions,","venue":null,"work_id":"df20e8f3-b2a4-4f0c-bdfe-ffa1d9f6d572","year":2018},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.820062Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:bcd2b2a127f62a77f3af5423a82579b59ddc8990c89eb7e93d407be7b2c0bcdc","observation_id":"47493190-9eb6-409c-b74e-5de575f378de","resolution":{"observed_at":"2026-08-15T18:26:18.203106Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.183036Z","title":"Bound propagation,","venue":null,"work_id":"f2a3de8a-1150-4a6c-af95-57d44dc7c75a","year":2022},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.824411Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:02ef45415799ce4db7134539a737752ceb9790755174d9c0126aeb7d88ba8fa8","observation_id":"9c69b801-74fd-4c75-a3e6-9c6576f5f244","resolution":{"observed_at":"2026-08-15T18:26:18.187651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.168421Z","title":"Automatic Perturbation Analy- sis for Scalable Certified Robustness and Beyond,","venue":null,"work_id":"b5f4d9de-35fc-44ac-8f52-e5101bec7176","year":2020},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.829190Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:689e3c295730313a2b3d4c964eb434cf9bc7e0666ed3446cb89f589463a884db","observation_id":"eb18d45b-2dc8-451f-a490-e59797c28e73","resolution":{"observed_at":"2026-08-15T18:26:18.173210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:17.833652Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.833652Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:f986d14bb2e1bf1d2f5202e26039423cf845feb1a3d2b09077e025b049cbbf1b","observation_id":"18226382-f214-46b8-9e16-4411c231bba4","resolution":{"observed_at":"2026-08-15T18:26:17.833652Z","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-15T18:26:18.142482Z","title":"Lagrangian Duality Theory,","venue":null,"work_id":"c96fe99b-eb41-4b1f-8c5b-0dcb0a53c9a4","year":2025},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.838089Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:c76a67212c743b32f89b3e8b88c707643f40e51a99725071504bd5d26d02f33f","observation_id":"a6f06db3-38ba-4aad-beec-50dc4edc9af7","resolution":{"observed_at":"2026-08-15T18:26:18.147809Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.125841Z","title":"Lagrange Duality Theory for Con- vex Control Problems,","venue":null,"work_id":"88f528cb-67eb-4971-9fd9-72bf57b7877f","year":1976},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.842390Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:e9a1248359ee342f0520a132335abf657e3cf9eae5062052537fc9eee1e7f2d8","observation_id":"3a815bad-d82d-42ed-aa7a-f403dc22977e","resolution":{"observed_at":"2026-08-15T18:26:18.131392Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.110245Z","title":"A Review on Bilevel Optimization: From Classical to Evolutionary Approaches and Applications,","venue":null,"work_id":"976c8164-4b3e-4fc6-bd92-ac3bfeb7eeb8","year":2017},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.846724Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:33c62a7db2bfa87462d26f7aeeb1a8cac8527fd977886666cae13e6779607c8f","observation_id":"1d50766e-540c-4da0-a3e1-754b71b20aa3","resolution":{"observed_at":"2026-08-15T18:26:18.115231Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.093358Z","title":"On the Solution of Convex Bilevel Op- timization Problems,","venue":null,"work_id":"e813ae54-c831-465d-8dc8-dde6822cf435","year":2016},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.850788Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:795f92ad778b55ea225ba7a13a6415fbdc07b4e13d68c0cd423d93090be6e478","observation_id":"7060385c-505f-4bea-b361-19276184fee0","resolution":{"observed_at":"2026-08-15T18:26:18.098574Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.075200Z","title":"Safety Controller Synthesis for Incrementally Stable Switched Systems using Multiscale Symbolic Models,","venue":null,"work_id":"3316363d-fbbc-4d81-b2dd-1f2fa5cbaf98","year":2015},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.855480Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:225280bcc6aa82d0916bf7aa44b98cd86821637a25368e8e6d15f4f81dcc1b1f","observation_id":"f0959dcd-c354-4f2a-9516-7e2a51829448","resolution":{"observed_at":"2026-08-15T18:26:18.081954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T18:26:18.055957Z","title":"Stabilization of the Unicycle via Dynamic Feedback Linearization,","venue":null,"work_id":"b9a55d06-4b0b-4d41-9af4-7c62d09295fc","year":2000},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.860775Z"},"links":{"citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:3e9bd360133ef20938713f3899d13d6b91c94a5c13583ff091721c5311191202","observation_id":"6702e9b5-5369-40ad-b408-acc8035830a9","resolution":{"observed_at":"2026-08-15T18:26:18.061284Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":3,"verified_fuzzy":26},"total_outbound_references":37},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2507.17703."}