{"as_of":"2026-08-08T21:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:27ec6cb1cbc84dff908bc32f3785c0ab2f492f7e4cbb4b047fbda7639f9331f5","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:06:02.464819Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-18T15:16:28.518229Z","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-18T15:16:32.220669Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"cited_work":{"arxiv_id":"2507.17222","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.17222","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5e61b056-1b31-4738-bf5f-7afe3c13ef88","year":2025},"citing_paper":{"arxiv_id":"2509.18518","last_updated":"2026-05-11T14:37:30Z","snapshot_observed_at":"2026-07-06T22:30:31.933240Z","submitted_at":"2025-09-23T01:27:27Z","title":"Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"cited_paper":"/paper/2507.17222","citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:c592c094a77930c873909dae7204a0d101bb0feeedd28cf3b890249b815a46cc","observation_id":"ea4ac95d-a49f-4d2d-9a2a-e5c7707bbb24","resolution":{"observed_at":"2026-05-18T15:16:32.224536Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.17222/citation-record","integrity":"/paper/2507.17222/integrity","json":"/paper/2507.17222/citation-record.json","paper":"/paper/2507.17222"},"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-06T15:06:03.067818Z","title":"Formal Methods for Control Synthesis: An Optimization Perspective,","venue":null,"work_id":"f0f23144-5bef-4130-b75c-eabfc2ca0611","year":2019},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.368544Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:9ac480f36df2710e102b96911ef5480b942ebfa0a60547ae9dba3daef62d37c0","observation_id":"5d3a8a18-1c85-4953-98ec-b4b4495ac7e1","resolution":{"observed_at":"2026-08-06T15:06:03.071568Z","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-06T15:06:03.057057Z","title":"Automated verifica- tion and synthesis of stochastic hybrid systems: A survey,","venue":null,"work_id":"65d7628a-6abf-468f-b230-1c9d70425ff2","year":2022},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.372715Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:ce4865573781e3ef0bc86b03cefd55c1ec892713d771d2396201bc50ca07e1fd","observation_id":"a34ff6b4-a15d-4f1e-a99f-20de2a7e774d","resolution":{"observed_at":"2026-08-06T15:06:03.060430Z","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-06T15:06:03.046811Z","title":"Formal synthesis of controllers for safety- critical autonomous systems: Developments and challenges,","venue":null,"work_id":"f7078ad2-00c2-4c7f-8295-e99703bd8e47","year":2024},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.376294Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:ed739008b779b06185c21f95554431fbbdfb4c6fc9ba7e2ff0a626f48ef157c9","observation_id":"8b155e1b-deba-4050-b1dd-360e3406dbf4","resolution":{"observed_at":"2026-08-06T15:06:03.050358Z","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-06T15:06:03.035524Z","title":"Probabilistic reacha- bility and safety for controlled discrete time stochastic hybrid systems,","venue":null,"work_id":"6b04890e-cba5-4520-9b98-03aa0033372f","year":2008},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.380038Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:23e100493c696a3f95458c2bd67e935932f3643924fb8d2aab55e5679d3355b0","observation_id":"a4630a5b-7b9a-4f7e-a573-0a3c748ed1c4","resolution":{"observed_at":"2026-08-06T15:06:03.039161Z","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-06T15:06:03.024186Z","title":"Precise approximations of the probability distribution of a markov process in time: an application to probabilistic invariance,","venue":null,"work_id":"3628f43c-ed0a-4bce-990b-8d843c13d040","year":2014},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.383985Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:5391d8e77a9de6323572f341a551d61d8abf32aa7a2cf0930c50918fc3c2c4d0","observation_id":"81f2ca0a-ac8f-468b-9bad-f2b21a8c05b2","resolution":{"observed_at":"2026-08-06T15:06:03.028250Z","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-06T15:06:03.010477Z","title":"Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations,","venue":null,"work_id":"fbe3234e-fc47-492a-961c-80609a181a4f","year":2023},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.387603Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:ce774682870315242d706e10785110a27072a8ee070384e5539ed2a36e28200b","observation_id":"1e18a27a-f51c-4f6e-9b78-9501bd878f4b","resolution":{"observed_at":"2026-08-06T15:06:03.014083Z","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-06T15:06:02.391292Z","title":"A framework for worst- case and stochastic safety verification using barrier certificates,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.391292Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:93c2c5e3bf4a8b7290890922b338ad181eab02da8e2100928b4481a4f23ca7e4","observation_id":"8f401df0-de2c-46f3-990e-7c9b70ece92f","resolution":{"observed_at":"2026-08-06T15:06:02.391292Z","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-06T15:06:02.991876Z","title":"Data-driven safety verification of stochas- tic systems via barrier certificates: A wait-and-judge approach,","venue":null,"work_id":"ef38be8e-4549-4930-b97a-51caabbe37f4","year":2022},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.394604Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:cd285230df748fe4c8aae7c5846c4b5faa482d0a8558e137937f55ac179c7510","observation_id":"20c7f9a3-735c-4525-b657-ec8cad0e8996","resolution":{"observed_at":"2026-08-06T15:06:02.995546Z","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-06T15:06:02.980247Z","title":"Formal verification of unknown discrete-and continuous-time systems: A data- driven approach,","venue":null,"work_id":"e1732e3d-c25a-4c6c-bffc-0410db366cd4","year":2023},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.397846Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:2e15516ddefcf945c784ede18716dc973ca081798f7cc6b1352e8570e644e145","observation_id":"0c8c36c0-07f0-487a-819f-8fe4c6b727ba","resolution":{"observed_at":"2026-08-06T15:06:02.984426Z","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-06T15:06:02.969182Z","title":"Stochastic safety analysis of stochastic hybrid systems,","venue":null,"work_id":"b8f74beb-8fbf-4058-8e47-e6c18ad754e6","year":2017},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.400793Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:518f72dcd253836cd5b6c1d06273ba2a4859998a478d876464d578d8f52c9c8c","observation_id":"c13fa1ef-04ff-4d44-9169-9ee3f4ea015d","resolution":{"observed_at":"2026-08-06T15:06:02.972763Z","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-06T15:06:02.958483Z","title":"Probabilistic safety verification of stochastic hybrid systems using barrier certificates,","venue":null,"work_id":"db93d5b8-2665-4769-8259-965263ae9245","year":2017},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.403761Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:793db0f3458bf5d1d653b7c893eb35d9f96f8bd8e7f5395439bd975eb63c1ef2","observation_id":"aae9912b-1180-408c-ba77-eb4074849b9f","resolution":{"observed_at":"2026-08-06T15:06:02.961754Z","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-06T15:06:02.407067Z","title":"Finite-time regional verification of stochastic non-linear systems,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.407067Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:25977a9d83ac29cb65c6a4862067ee17828fc10830870b763270b93b31ec21b7","observation_id":"23c5e707-8c56-4d95-82e8-dbceccfc69dc","resolution":{"observed_at":"2026-08-06T15:06:02.407067Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:06:02.410055Z","title":"A barrier function approach to finite-time stochastic system verification and control,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.410055Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:e255531b4d3bf937904e2756bb8ee0ef5ac7d9a372b512e2309cd592f2af06c1","observation_id":"b42155b0-8888-4ffb-b69c-050610ab5c87","resolution":{"observed_at":"2026-08-06T15:06:02.410055Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:06:02.412973Z","title":"Finite-time safety and reach-avoid verification of stochastic discrete-time systems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.412973Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:b5064d9a3507e57ef92e02f233d3ccd29c19f8a7673858239ce104eb4f763802","observation_id":"59ff0725-d496-44ac-a3e5-291ffdf8af6e","resolution":{"observed_at":"2026-08-06T15:06:02.412973Z","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-06T15:06:02.934862Z","title":"Temporal logic verification of stochastic systems using barrier certificates,","venue":null,"work_id":"472c7731-2d6b-4632-bc0a-f3ddd58e9d74","year":2018},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.415923Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:0eac063b311c38f8386fe566b7ac154ae11c27c106c301cb32a6c52ce3406833","observation_id":"d69d4175-7b12-49c1-af9c-a20dcbcd994f","resolution":{"observed_at":"2026-08-06T15:06:02.938113Z","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-06T15:06:02.924730Z","title":"Data-driven distributionally robust safety verification using barrier certificates and conditional mean embeddings,","venue":null,"work_id":"76ff26e3-c144-4e50-83ce-b9ea3663c8c4","year":2024},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.418927Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:1e47ca9bdd8184b14f72a36cef826029402ef006e9a35956c7b35cdd3ad43489","observation_id":"27c84220-8411-4a56-82bc-b8e712ca4643","resolution":{"observed_at":"2026-08-06T15:06:02.927991Z","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-06T15:06:02.421674Z","title":"Distributionally robust control syn- thesis for stochastic systems with safety and reach-avoid specifications,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.421674Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:3e8ef3f5d3f17cdda666394ec0002540e96e8057c970ccbfdd7d7a3f0ee10cb9","observation_id":"fc3ecddd-f06d-4f65-97f4-f50b5b3efe64","resolution":{"observed_at":"2026-08-06T15:06:02.421674Z","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-06T15:06:02.914581Z","title":"K-inductive barrier certificates for stochastic systems,","venue":null,"work_id":"3e07c895-a194-4225-9979-c93d3f4357b7","year":2022},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.424533Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:0e10a59d4d6dfd60c945c4a28c847e1bf2331dc09b49c6915dac37f2dc3b587a","observation_id":"0ad90407-ed41-4bd2-af76-94eab4dc1f34","resolution":{"observed_at":"2026-08-06T15:06:02.918072Z","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-06T15:06:02.903293Z","title":"Learning control policies for stochastic systems with reach-avoid guarantees,","venue":null,"work_id":"bc7b1495-d4fa-4ad5-b85f-56f95cfb66af","year":2023},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.427556Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:1e8d11ba3e52208e70f2a9008c94f673393284195016a0c1f137aed805070767","observation_id":"0db2f545-c005-4bf2-941b-4d290fdae4c2","resolution":{"observed_at":"2026-08-06T15:06:02.907345Z","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-06T15:06:02.430711Z","title":"Sufficient and necessary barrier-like conditions for safety and reach-avoid verification of stochastic discrete-time systems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.430711Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:14085bb2c28069458b571c2c45273480e5043035cd47f782aae1358314363bd9","observation_id":"30a4c199-0312-4db3-b99c-788788d049ca","resolution":{"observed_at":"2026-08-06T15:06:02.430711Z","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-06T15:06:02.892653Z","title":"Stochastic lyapunov-barrier functions for robust probabilistic reach-avoid-stay specifications,","venue":null,"work_id":"e7148bdd-e9b1-4dd9-8e29-88646dddb306","year":2024},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.433966Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:7c6c95d47ec5ad5daa659d3644f8f8d6bd177f48e4ab748136e8c86feaffd525","observation_id":"8197a878-3948-4014-8842-97f148a996a6","resolution":{"observed_at":"2026-08-06T15:06:02.895964Z","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-06T15:06:02.882808Z","title":"Quantitative supermartingale cer- tificates,","venue":null,"work_id":"5e842d04-5ca3-432e-93d6-dd153451ec3a","year":2025},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.437244Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:9ffc783e7226cfc934735946549e56f933298f7a5e6898534c112bca251b2b9e","observation_id":"f3f150ff-f3dd-42bd-aa4e-5d206df30048","resolution":{"observed_at":"2026-08-06T15:06:02.885840Z","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-06T15:06:02.872629Z","title":"Supermartingale certificates for quantitative omega-regular verification and control,","venue":null,"work_id":"d3cb214f-ca1e-49f8-b728-a8dd6c43277e","year":2025},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.440001Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:59032823c83a9393a5a586500ba92f015d16aa49871f4cf7046c6d577c4260fa","observation_id":"b180ff3e-0d9e-4712-8628-780a009975a4","resolution":{"observed_at":"2026-08-06T15:06:02.875835Z","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":"2310.01802","doi":null,"metadata_source":"pith","pith_arxiv_id":"2310.01802","snapshot_observed_at":"2026-08-06T15:06:02.494634Z","title":"A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions","venue":"eess.SY","work_id":"33859ef3-2f81-4087-9fed-95b94a9beeef","year":2023},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.442878Z"},"links":{"cited_paper":"/paper/2310.01802","citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:59b740abebfdaa61fd28d36451fdd3323433a9aa9c7b83dbd6a4f153481088d4","observation_id":"a92f0d8c-f6e9-4e63-8a34-2fc07dd7e652","resolution":{"observed_at":"2026-08-06T15:06:02.500575Z","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-06T15:06:02.861776Z","title":"Bertsekas and S","venue":null,"work_id":"5daaf187-faee-4e6f-96cd-e749f563e0b3","year":1996},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.446325Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:06aa9df63900de171d5732d6ed949e27bc96acd11664d8a1bd422ecf9bac2e54","observation_id":"45f94600-48a9-4d5b-95f8-5be0d3145ff0","resolution":{"observed_at":"2026-08-06T15:06:02.865488Z","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-06T15:06:02.850128Z","title":"Verification of discrete time stochastic 10 hybrid systems: A stochastic reach-avoid decision problem,","venue":null,"work_id":"4a192205-70cd-4310-9e18-b573b88077eb","year":1951},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.449255Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:16cfd29cd430f54ff4ad12992e4b7ecaadb7637747cc3bd24a847a1f51ad46c8","observation_id":"319455ae-25bd-4d43-91d1-5097935a3d7c","resolution":{"observed_at":"2026-08-06T15:06:02.853922Z","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-06T15:06:02.838337Z","title":null,"venue":null,"work_id":"1f87c605-0219-4fbc-a049-e141e7facda6","year":1967},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.452791Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:4c8226d4c226a06cd82dda369f00d4219129997e5dee77314d31faee5e87bb07","observation_id":"c817a219-8363-4401-aa99-862a725baed7","resolution":{"observed_at":"2026-08-06T15:06:02.841696Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T15:06:02.827841Z","title":"Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones,","venue":null,"work_id":"0425a940-d85a-45e6-9794-3db1d4ee524b","year":1999},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.455808Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:8860c8c30fffe5cba1a239a99835988031716c1bfe71dbfafb63591f2d6ef471","observation_id":"dec798ea-01ba-454c-afb7-ddc0c21599a3","resolution":{"observed_at":"2026-08-06T15:06:02.831271Z","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-06T15:06:02.817282Z","title":"Introducing SOS- TOOLS: A general purpose sum of squares programming solver,","venue":null,"work_id":"180ec679-b506-4a52-a606-3d8f2e673b77","year":2002},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.458934Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:ab14c4b23a9ce70639850717ebef20ee1adc16002d43a10059d257157de78af5","observation_id":"a2de9064-553f-4dda-b539-d542012c631f","resolution":{"observed_at":"2026-08-06T15:06:02.820907Z","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-06T15:06:02.806890Z","title":"Formal synthesis of stochastic systems via control barrier certificates,","venue":null,"work_id":"a7ee621f-4cf7-41e5-ae09-4b00a2ee0fc9","year":2020},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.461883Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:1cb234fdfb9ce290a4bccafa06dff0143ec3eb82dc2ab608c35d8f068386f458","observation_id":"3ac79ff9-4ce6-4392-926d-6530023b6a08","resolution":{"observed_at":"2026-08-06T15:06:02.810234Z","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-06T15:06:02.796675Z","title":"Secure-by-construction synthesis for control systems,","venue":null,"work_id":"3d303869-cbe6-46eb-9428-386e46679e25","year":2025},"citing_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T15:06:02.464819Z"},"links":{"citing_paper":"/paper/2507.17222"},"observation_digest":"sha256:e44f5768814ef2ab0b9cb7a29b302b9a9a8d139868ba6838ccf23abffa3e24fa","observation_id":"5c2bec38-030c-48a4-a7cc-dd644b6ea952","resolution":{"observed_at":"2026-08-06T15:06:02.799948Z","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":"2507.17222","last_updated":"2025-07-23T05:43:01Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-06T14:51:31.211887Z","submitted_at":"2025-07-23T05:43:01Z","title":"On the Construction of Barrier Certificate: A Dynamic Programming Perspective"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":1,"verified_fuzzy":23},"total_outbound_references":31},"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 31 of 31 outbound references and 1 inbound Pith citation observation for arXiv:2507.17222."}