{"as_of":"2026-08-12T05:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bbe5297daa08ef39cb44c791fc7863091c7bffe03f7c51ef8c0bc2aca22f56c8","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-11T06:34:44.6726+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:0e1a0c3b9968b0eb076f3189e7b979ee4798a8cfc4ce50cb42d356fac046d7a6","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:465da628543055bede841790c18ac7ffbe3418f9316fb5b02a9fd389a85aadb5","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:1885ccc8bfa57f3c9047d21d570c62cfff3846475186806e939616a487fdb2ff","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:576f7536e4530ce9aaaa641c111d83ec56b423b94c069aa7b73cfc0a28f57b5d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:6694aaca348b371e9f50eeb8ed9279e2b50ab37d7388341a524c3d47e3800445","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:0f86467621e16c716cff97efcc30206fbd8e1d23fcf147e8ae26d4232879ca8f","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-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:28f467f07aa4fdd919c8582cc2753970d22167066f1d76ad92489023d7250493","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:5d7a0cc1c2c3598e3ce8bb944a4ee3824bbaafb46340a0372623059501c62a67","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:4b8b2e1d3e483db2c544fd4882bb7d849d3066f308794bec8cdc6a7764b79208","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:1bc9d216df9faf444c8624ba510664080e5ca486060328c9c869beecaac09dbb","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:b41cc25a30e20fa98b0fe3695b63a108a42347a9b6c9f5656d10fd3b9c624f36","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:952406dae42e96275681f175681f86915a2a73824d02133dd5dd2cfaec358475","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:6a0df6e7e47158d3b8f482f5aa2ad166d26d507474c58dbe3edd0aee946b2e34","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:57b39337076b9ddd728b0afcf03d44753344f8b753451103546bb18eab0ce04e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:a3f03db8294460753b268dd040182b50e8d09a973609ba1a2911650737986d51","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:c25b626779740365c2e1f911c9544fb7548b8539becb0701117617b5527410af","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:ebd520053955847e3a10ef5238b4b260c9533667a7c56e91f2274f7f9b986817","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:74cfbe992608671c1d36b5ffde858c2e90d33edbdc90c069ca346251a5437f67","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:1a759737ca887f032bd789f6c0c892d81a8809c3131311f4970e6bff6f73d212","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:be37b945c3279e74add7ec29ed0ad8ec59c8485f17450ed8e3c054e4decec037","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:bf93ea6b97564a62ff71ab4a99af9674587121797d51e0f4538076401a3f559d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:5fb633ba175a60ccc970c0d43755b2cf7efc98a3344c87156d95879dc6a59c3c","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:fe6ec67cb1ba3c7ed94b45eef8b383eb36f51bfea9a87a6648b5fb98dfdd09c0","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:c96cd14ff0f58d9c504f90091367d54a9b837c150c07808a6c14e25996311d2a","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:45e7cadfb437c49857029515f44999187efb4966c4274f2b6c2a34f63b8782fe","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:262f1335aac69102b68ce73632221020109c7528384c5ae232df429aee86bfd7","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:215c0800276103a8e19a2a7c16302b468a6b493e0b3d2c0419faa95beddcbdaf","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:8aca1c9a295b016b091d8787a0766a988d63b6c206fbc470bc5242018fa928fa","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:3e9d84b7bb215aaff4a3b2996a518547c6a6f7b1bc73f99ad1b8688a05117fee","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:665211382355c40dc100fb99f61b80e5a4bd41649454834347ab9b71ccfb970a","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:20e6f45847eb1db57f46a6409dda843d09beff4fe8cb7f6d92127dce2a167967","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:f1c45f8d59717e7f8699120e8e8e73419a164cd7383de652203f7fd0c0d11a3e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2509.18518."}