{"as_of":"2026-08-14T18:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:64f0e5626394d773f92f6260542e44386d5c8e998bfc8b854c336a32f9bf6446","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-18T15:16:28.518229Z","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-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.18518/citation-record","integrity":"/paper/2509.18518/integrity","json":"/paper/2509.18518/citation-record.json","paper":"/paper/2509.18518"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Abate, M","venue":null,"work_id":"8aefc488-eb0a-4745-8043-3761e9ef08e4","year":2024},"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":1,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:ba11ba3b41e12204107786e31bc64e9dc03229f3266f3c7ae5e0147c35a87e36","observation_id":"b7524c6e-09fd-49f4-8fe9-eefecc6a03d2","resolution":{"observed_at":"2026-05-18T15:16:32.381784Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Alur.Principles of cyber-physical systems","venue":null,"work_id":"7e402be3-6f25-4118-b3fb-533e3e7fb680","year":2015},"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":2,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:1608cf05e5cd9d17a0956db42eaea2e66d0fc51cfc1ad86763ac4aae16ebe2c7","observation_id":"25361bed-627d-4fbd-b659-ad0543751163","resolution":{"observed_at":"2026-05-18T15:16:32.360376Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"264a8a13-8034-4b4e-a687-305b0eb8e636","year":2019},"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":3,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:56b9bcf802d90be0bba586c8ed6116c8a9b08a1ccb808774afe75904f09c3f4e","observation_id":"3cb38c99-550f-475b-b7be-9062f9ee9257","resolution":{"observed_at":"2026-05-18T15:16:32.369213Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Baier and J.-P","venue":null,"work_id":"77c80ae8-e748-4c2d-b03b-f6458ca363dc","year":2008},"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":4,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:d065b494bf9ad8b253930254d50276921e8b54e2269f108c146a1329fb22cf83","observation_id":"9acda3ef-e552-4851-b0f1-bd5c6b343bdb","resolution":{"observed_at":"2026-05-18T15:16:32.377429Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Chakarov and S","venue":null,"work_id":"8d90f0dc-1e46-49d5-b59a-2bb9457f120f","year":2013},"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":5,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:c0abee9b92e34aba977a977baf3c0b985ec20707a17acd92d247a572366ba71d","observation_id":"ff9275fa-b02a-4137-8714-c882d95554e1","resolution":{"observed_at":"2026-05-18T15:16:32.389574Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Chatterjee, A","venue":null,"work_id":"9b8c5825-6d08-4e4a-a88c-31fd02224535","year":2024},"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":6,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:18518ac5152f9025dc77a2dcdc20d488a36fdecc19058fa63d9182a19a806e05","observation_id":"a7cbc418-3cd0-45c7-bfd6-61698ebd4024","resolution":{"observed_at":"2026-05-18T15:16:32.365095Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.17222","last_updated":"2025-07-23T05:43:01Z","snapshot_observed_at":"2026-08-14T06:00:00.168057Z","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:76bd7e053e8989e17ff6f9a81ef026e18e7f68f28428fd3381cb93f79e28e46a","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.20204","last_updated":"2025-08-27T18:31:21Z","snapshot_observed_at":"2026-08-07T22:50:31.329474Z","submitted_at":"2025-08-27T18:31:21Z","title":"Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions","version":1},"cited_work":{"arxiv_id":"2508.20204","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.20204","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Ghanbarpour and S","venue":null,"work_id":"d2a60ff7-491e-4f23-afb1-510ca9040378","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":8,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"cited_paper":"/paper/2508.20204","citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:eba10138d9b55bc39172a0bd2e99915b4e848f042e4e3f78dd1fdc499be2d9f8","observation_id":"91dccb62-b63b-4be7-a2c9-cea06712d7f0","resolution":{"observed_at":"2026-05-18T15:16:32.231127Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Jagtap, S","venue":null,"work_id":"6afbcea3-3a37-48e7-a916-b2008f6fdc08","year":2018},"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":9,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:d194c5da16337aa99006aaa5e3ff614d5352917917cfeebbe136e0803abb6640","observation_id":"e3d5d446-9012-4e15-ab2f-be95559975f1","resolution":{"observed_at":"2026-05-18T15:16:32.458055Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Jagtap, S","venue":null,"work_id":"11f9d999-0c79-4aeb-9617-749bbaf22b69","year":2020},"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":10,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:7ecc7fe0d1c9ed59dd2d1829d9294f628b466a0623f3ad39c4b30308e798513c","observation_id":"f5149f61-4f18-429c-b28b-b9520e109f5c","resolution":{"observed_at":"2026-05-18T15:16:32.421985Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Kenyon-Roberts and C.-H","venue":null,"work_id":"ca485386-c32f-4b8c-8838-df78d6d24f0d","year":2021},"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":11,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:65d341cf92fb7866bc5559fa14df60bc4e7ad5ac831a27edc6d059c8611ef2e6","observation_id":"cdc41b1e-1dd8-4ebb-96aa-786e5e9a0f0d","resolution":{"observed_at":"2026-05-18T15:16:32.413877Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"038e47f9-60a9-4807-829f-adae5f6716d5","year":2015},"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":12,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:06d9e6c8d29d0f24855f5e694f7e6be7925b65e6b2020d929e4d189c8da56e03","observation_id":"e85e6b10-f5ef-4496-bbdd-ff799fd56461","resolution":{"observed_at":"2026-05-18T15:16:32.448606Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"25733196-0ee7-4935-8b09-e1d0645bd1e2","year":2019},"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":13,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:c2d12859b17e77596e66f4b20574c41d75c665f869db3c414526f18eff7c4236","observation_id":"e8c34b12-86ab-4fba-ab12-43647a0fbcbd","resolution":{"observed_at":"2026-05-18T15:16:32.430267Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"03c087d3-ba26-48cc-bff4-692c3c5e91c2","year":1967},"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":14,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:baa60070b9b45ad09e6545664d91afb13d3ffbd2850385bbd4596f6f94c07c23","observation_id":"f8fc4ab8-f473-4c5f-afc0-850c51e7c7f3","resolution":{"observed_at":"2026-05-18T15:16:32.483854Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4c6d1b91-43fc-48be-9679-ceeb2cf0d66b","year":2022},"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":15,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:c3e0b4e721f07e04c4d1e4cdcb704c89f5f12ed17cc7363405b2c4b80e70c948","observation_id":"e0e55ebd-e923-463f-950c-a8ca63668da3","resolution":{"observed_at":"2026-05-18T15:16:32.453741Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"McIver, C","venue":null,"work_id":"4a709f02-2b87-44eb-9bbd-ef9786340479","year":2017},"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":16,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:66605764b93e48987e8b69bb0217afd2ba97c39a5710f798fc8cd55ca2ddd281","observation_id":"13af1c5b-c408-4f56-91e5-480f01210808","resolution":{"observed_at":"2026-05-18T15:16:32.439011Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07-09T13:16:15.666031Z","title":"Oksendal.Stochastic differential equations: an introduction with applications","venue":null,"work_id":"0acde483-ec6a-436b-bc1b-ab27370ec34a","year":2013},"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":17,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:3a6a2d9473dfe6a01a2a8d7748e90992635fb75cc7ee2189dd77ae0e34aebc61","observation_id":"0d6f11c0-2a4c-42bb-bb42-cbb7f1d5c3c3","resolution":{"observed_at":"2026-05-18T15:16:32.426263Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Prajna and A","venue":null,"work_id":"10740703-3b69-4907-aa46-a8f624db3eec","year":2004},"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":18,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:2b008f777d436e21cbf74bbcd9fcd93c58e909296fce018d8ecd31f2d5bb2540","observation_id":"e127fbc3-c2e2-4d77-8024-18d4769c48c2","resolution":{"observed_at":"2026-05-18T15:16:32.467102Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Prajna, A","venue":null,"work_id":"1ea1264c-f611-4503-8af0-fa17c5dcda01","year":2007},"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":19,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:1f7569a06618eb55e917725b5a6b4edfa8b45dea7b0a1967281a1230d334ffd7","observation_id":"5626c4e5-5a21-4515-ab8e-d55964921b2d","resolution":{"observed_at":"2026-05-18T15:16:32.404211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Prajna and A","venue":null,"work_id":"dad6cdb7-4d36-4424-89d5-6da438f62db4","year":2007},"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":20,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:6e9bd28a24212fa5d4cbc78995d09f86b766e8e99d43545469ad2012a49fb5ad","observation_id":"2783c88c-94d3-476b-aac7-0256094521f5","resolution":{"observed_at":"2026-05-18T15:16:32.418143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Santoyo, M","venue":null,"work_id":"793d6bd9-0fc2-4127-97b3-9dc140a2f360","year":2021},"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":21,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:8da915a80442248950b8c23601915e8ecd9f9638b86e87a29cc908b34e39a634","observation_id":"ec0052ee-8679-459b-b4a7-b9ee0d4de4cc","resolution":{"observed_at":"2026-05-18T15:16:32.444439Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Steinhardt and R","venue":null,"work_id":"0d0f1c85-0052-4889-81e2-db321b02418c","year":2012},"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":22,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:4726043a7a69d22e37497232dbe70a94abbfef81fe2a91067bf7ceeb50c6ec90","observation_id":"4fd4b9b7-e672-4f11-bcb9-6fdb0b0b84ec","resolution":{"observed_at":"2026-05-18T15:16:32.399627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7b4cb24b-6bdf-4575-8aca-8e92120f0352","year":null},"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":23,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:2f6dbeae4b9d1dc7b4552709e648c50e757ec197ef375279e60645e4e857191e","observation_id":"d96fd383-c8b3-4997-86bb-971fac0a5e57","resolution":{"observed_at":"2026-05-18T15:16:32.434592Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0b091788-81bb-4b1b-8554-0ce64fd8a225","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":24,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:51536fe08306bdaa37a7df073cc62bbee0f205cb9d2f8cf61c153b6f26e5c3f4","observation_id":"220ff8ed-9eaa-455e-acaf-33499c1a6482","resolution":{"observed_at":"2026-05-18T15:16:32.463052Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2312.15843","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9e670477-92eb-409d-aaae-8f4e8fa53957","year":2023},"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":25,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:176240b888ac80f1b4ef1d765387bdc416ddb847455d494c4a7d9ef459dddac5","observation_id":"3af02057-7229-4cd9-b0bc-7c80ce282acd","resolution":{"observed_at":"2026-05-18T15:16:32.208159Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2404.18118","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f8d26181-d9c7-43dc-b22e-395718ac7fa3","year":2024},"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":26,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:dc757fc89824d02302f11dc6895b1336c3ec9b84c845ed3bc736baa67b5ded9e","observation_id":"93925e9c-17ca-4463-a334-3fc16e6ca49f","resolution":{"observed_at":"2026-05-18T15:16:32.237884Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2408.15572","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:2408.15572 (2024) 11","venue":null,"work_id":"2dc8b8a9-3d75-4e93-abfd-8a7d3e763464","year":2024},"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":27,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:80de5c6d60f0034db9bce2dbbcb3e7745fb50fbca8a81608d7df35d2581f6dad","observation_id":"693c56ee-d136-4860-aac1-f4c7910db70a","resolution":{"observed_at":"2026-05-18T15:16:32.215656Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"78f952e8-de42-42b3-8f63-8a24db04b6b2","year":2021},"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":28,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:5470579172a0d742ff78a9c1bf80cbda0e3e35d37bc7afcbaa5f7f5c04409176","observation_id":"023b11dd-8fc3-46fc-83b4-0b59d697d361","resolution":{"observed_at":"2026-05-18T15:16:32.477177Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"856d69db-a9af-4a0d-9b34-e4bab2986fa4","year":2024},"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":29,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:02a40d36d65cfc6710b453538d0f05db133b8deeaa6481f4857addc138eb128c","observation_id":"9a0c6bea-6a81-4ead-8c94-9845fd726591","resolution":{"observed_at":"2026-05-18T15:16:32.385616Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5f7c9e48-2a2f-4714-bfe9-9e50e1fc1a8f","year":2023},"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":30,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:baa2df19a471aa44bc0551abac170b4fec43188ab14857756cc8ef3b5887aa56","observation_id":"f663d6f8-15fc-43d9-b31c-c9235b3404a0","resolution":{"observed_at":"2026-05-18T15:16:32.373384Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"08220571-4327-4e77-990a-a84cf8a07457","year":null},"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":31,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:df5f02e1b38aabdf3f6f6f7434616430f7dda6487b1031c5fb8e2715754cc480","observation_id":"dd23e90c-142d-4edf-9245-995173a7d980","resolution":{"observed_at":"2026-05-18T15:16:32.408874Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Žikeli ´c, M","venue":null,"work_id":"fcc0d5e9-aba4-43b9-b507-5b09d7daa927","year":2023},"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":32,"source":"pdf_text","source_observed_at":"2026-05-18T15:16:28.518229Z"},"links":{"citing_paper":"/paper/2509.18518"},"observation_digest":"sha256:7f4e78da54b8d1b3d2c21534001b2ecbabe80081370bc7068375fbf3801261cf","observation_id":"07e42a85-8d8e-4eba-ad5c-8910380721cd","resolution":{"observed_at":"2026-05-18T15:16:32.473327Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.18518","last_updated":"2026-05-11T14:37:30Z","latest_version":2,"primary_category":"eess.SY","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"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":5,"verified_fuzzy":16},"total_outbound_references":32},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2509.18518."}