{"as_of":"2026-08-08T20:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:82489e2915cb69a0bdf838e7b9bb46ff4e54058ddbba7c23b8f2d928587b6be5","coverage":[{"denominator":101,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T18:51:31.747664Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2508.14181/citation-record","integrity":"/paper/2508.14181/integrity","json":"/paper/2508.14181/citation-record.json","paper":"/paper/2508.14181"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:29.781865Z","title":"Formal Methods in System Design54(3), 416–448 (Nov 2019).https://doi.org/10.1007/s10703-019-00333-0,https://doi.org/10","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:29.781865Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:bb0c55f0d59569d85bc2386ee4ece269f4d921e565dcd89ad5aa6468d7751160","observation_id":"95a4300a-cbee-4da1-b02b-ca79fbc65487","resolution":{"observed_at":"2026-08-05T18:51:29.781865Z","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":"2022.11127","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:35.073483Z","title":"Journal of Systems and Software 188, 111275 (Jun 2022).https://doi.org/10.1016/j.jss.2022.111275,https: //www.sciencedirect.com/science/article/pii/S016412122200036X","venue":null,"work_id":"53b5d76a-d6a4-4e71-a463-7163f5af0789","year":2022},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:29.833346Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:da78f9ced01508a5fda7393e87a4cf46b40c67aa91b1fd28339900ac3d3a530b","observation_id":"f92e1ff4-d352-4a46-98ca-9a1547710ccd","resolution":{"observed_at":"2026-08-05T18:51:35.084782Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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-05T18:51:29.906628Z","title":"Proceedings of the ACM on Programming Lan- guages7(OOPSLA2), 2196–2223 (Oct 2023).https://doi.org/10.1145/3622875, https://dl.acm.org/doi/10.1145/3622875","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:29.906628Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:08dcc0467b3bce69ecd7072176887e25dd68c3c1d3b4f1cada2061ce01fc4faf","observation_id":"90f42144-a73a-4e09-ba7a-ecc616993b0e","resolution":{"observed_at":"2026-08-05T18:51:29.906628Z","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-05T18:51:29.969661Z","title":"International Journal on Software Tools for Technology Transfer24(5), 803–819 (Oct 2022).https://doi.org/10.1007/s10009-022-00673-z,https://doi.org/10","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:29.969661Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:bf5dd1d04660208c5439900936c4ef333e5f546a4a9d9ec60b8725e218298926","observation_id":"e7e88ad0-97f2-4782-8fed-813d6dc11bb6","resolution":{"observed_at":"2026-08-05T18:51:29.969661Z","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-05T18:51:30.027555Z","title":"35th International Conference on Computer Aided Verification (Apr 2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:30.027555Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:94c191c68018f8c6c44faaf92c71d638c8bc4e18de0b8df560b8b6a8d0084f4a","observation_id":"eb266db8-462f-4491-8676-707539c3fb25","resolution":{"observed_at":"2026-08-05T18:51:30.027555Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.10298","last_updated":"2022-10-19T04:58:36Z","snapshot_observed_at":"2026-08-08T05:36:03.266942Z","submitted_at":"2022-10-19T04:58:36Z","title":"Evaluation Metrics for Object Detection for Autonomous Systems","version":1},"cited_work":{"arxiv_id":"2210.10298","doi":"10.48550/arxiv.2210.10298","metadata_source":"pith","pith_arxiv_id":"2210.10298","snapshot_observed_at":"2026-08-06T00:16:16.768632Z","title":"Evaluation Metrics for Object Detection for Autonomous Systems","venue":"cs.RO","work_id":"b9718579-47ef-470c-b3f6-074ee2bd3631","year":2022},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:30.117216Z"},"links":{"cited_paper":"/paper/2210.10298","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:47e8b54d994476f98602e8f4733c2e898eb44be2d656a267bf1aae49bd4893f7","observation_id":"712dcb1f-7272-405a-88c3-2c793be61bdd","resolution":{"observed_at":"2026-08-05T18:51:32.345893Z","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":"2021.30855","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:34.974236Z","title":"Computer54(12), 50–59 (Dec 2021).https://doi.org/ 10.1109/MC.2021.3085532,https://ieeexplore.ieee.org/document/9622291/","venue":null,"work_id":"2cd2b0ba-b874-46a9-86db-fa0c6cfebfc3","year":2021},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:30.152790Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:4f6584c8eeac57d079a4c3862463f6b65f2658418fe8ef10dd0ffc7613059957","observation_id":"acda289c-ed10-4650-8a8c-5e0084fd3287","resolution":{"observed_at":"2026-08-05T18:51:34.988766Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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-05T18:51:30.230750Z","title":"In: Steffen, B","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:30.230750Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:ece5af2f913f47dd8c0fdac48cb36df26261101f96f76dd01b6f5dcd2cc05b18","observation_id":"0a01d626-e040-45f5-bd11-d42e09bd0697","resolution":{"observed_at":"2026-08-05T18:51:30.230750Z","resolver_source":null,"status":"malformed_identifier"},"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-05T18:51:30.384755Z","title":"4273–4279 (2017),https://www.ijcai.org/ proceedings/2017/597","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:30.384755Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:8aea9d276a7c3555ff17285a0e51d0bd88a8dc29804b575cee1cd2a31e65df61","observation_id":"8bb5d279-de98-4746-a5f9-d94990ae9316","resolution":{"observed_at":"2026-08-05T18:51:30.384755Z","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-05T18:51:30.508786Z","title":"SIGSOFT Softw","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:30.508786Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:291c10ae452bef41d88950df3ea39e8bd81e39fa1bb69f4b3b9ff1a564ff9eff","observation_id":"c5343e79-f259-4d96-b1cb-d7375acca176","resolution":{"observed_at":"2026-08-05T18:51:30.508786Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1604.07316","last_updated":"2016-04-25T16:03:56Z","snapshot_observed_at":"2026-07-06T04:53:59.754200Z","submitted_at":"2016-04-25T16:03:56Z","title":"End to End Learning for Self-Driving Cars","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1604.07316","snapshot_observed_at":"2026-08-05T18:51:30.649585Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:30.649585Z"},"links":{"cited_paper":"/paper/1604.07316","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:e881c85173bc389f32a05005ffa837234649ecdfe44494b1029accffceaa02bf","observation_id":"04f87fdf-c95f-407b-af14-b7471a94b375","resolution":{"observed_at":"2026-08-05T18:51:30.649585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1606.01540","last_updated":"2016-06-05T17:54:48Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2016-06-05T17:54:48Z","title":"OpenAI Gym","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1606.01540","snapshot_observed_at":"2026-08-05T18:51:30.773995Z","title":"01540,http://arxiv.org/abs/1606.01540, arXiv:1606.01540 [cs]","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:30.773995Z"},"links":{"cited_paper":"/paper/1606.01540","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:56fcb67e7207488961955ac58b6f58035a1d8016530a06b6fadae482ab45801a","observation_id":"ff095022-9632-4490-9753-7ddaa566e478","resolution":{"observed_at":"2026-08-05T18:51:30.773995Z","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-05T18:51:30.919940Z","title":"IEEE Transactions on Software Engineer- ing (2024),https://www.computer.org/csdl/journal/ts/2024/06/10496502/ 1W28Vqz3hQc","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:30.919940Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:bc95d0aeac4b7a49a797ab39c38a71bf21243c1258b679f78e8fe9eab76ad0cd","observation_id":"a13ecb96-9a0a-485f-be18-a81c1df5b46e","resolution":{"observed_at":"2026-08-05T18:51:30.919940Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.15006","last_updated":"2021-04-30T13:57:57Z","snapshot_observed_at":"2026-08-05T09:43:05.176428Z","submitted_at":"2021-04-30T13:57:57Z","title":"ModelGuard: Runtime Validation of Lipschitz-continuous Models","version":1},"cited_work":{"arxiv_id":"2104.15006","doi":null,"metadata_source":"pith","pith_arxiv_id":"2104.15006","snapshot_observed_at":"2026-08-05T18:51:34.756450Z","title":"ModelGuard: Runtime Validation of Lipschitz-continuous Models","venue":"eess.SY","work_id":"d8bfce26-6590-43ad-8fba-5f3016993503","year":2021},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.048207Z"},"links":{"cited_paper":"/paper/2104.15006","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:b3fbd5c0bf465ebc34e5160d147c42ac4e4131c0bcff19cf48826ec6e2a8ca30","observation_id":"ff3ead53-4313-4bef-ba40-908f738bd2c9","resolution":{"observed_at":"2026-08-05T18:51:34.761593Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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-05T18:51:31.163627Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.163627Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:89866e800ea0a6196198aef5a9d6324c478dae9a29bf4be1e502169cf40e1cff","observation_id":"89ebf725-4f9a-4c48-ab8b-ad1be11c37d8","resolution":{"observed_at":"2026-08-05T18:51:31.163627Z","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":"docview/2460739","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:34.636276Z","title":"Ph.D., University of California, Berkeley, United States – California (2020),https://www.proquest.com/docview/2460739262/abstract/ 18015E97A18F4C45PQ/1, iSBN: 9798678171221","venue":null,"work_id":"104b6fd3-5944-4357-834c-1639bc8ed2a8","year":2020},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.218763Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:2655e5b5a5d7a4ccfe1cfdf6d0037947b2ba3b6bdf5226b48b55634b6071d084","observation_id":"58cbd923-f0f5-4959-968d-80e743238ae2","resolution":{"observed_at":"2026-08-05T18:51:34.646335Z","resolver_source":"raw_fallback","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":{"arxiv_id":"2503.18077","last_updated":"2025-07-29T13:28:29Z","snapshot_observed_at":"2026-08-07T16:43:14.781221Z","submitted_at":"2025-03-23T13:58:28Z","title":"Conservative Perception Models for Probabilistic Verification","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.18077","snapshot_observed_at":"2026-08-05T18:51:31.223496Z","title":"48550/arXiv.2503.18077,http://arxiv.org/abs/2503.18077, arXiv:2503.18077 [cs] version: 2","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.223496Z"},"links":{"cited_paper":"/paper/2503.18077","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:cc79ea4065fc46ac847d3348051ad21f4f87a17db41554b8d8165fc470d1e385","observation_id":"08a0a201-4000-426e-9ec1-bad3589dca6c","resolution":{"observed_at":"2026-08-05T18:51:31.223496Z","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-05T18:51:31.234499Z","title":"In: Proc","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.234499Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:f070acec66093e638f00adbd6018ff9a55e5a0368a387daf06c369db770c0ae3","observation_id":"feaa3a9b-4e97-4ca8-8421-7eb09ab534a2","resolution":{"observed_at":"2026-08-05T18:51:31.234499Z","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-05T18:51:31.240531Z","title":"Journal of Artificial Intelligence Research72, 377–428 (Jan 2022).https://doi.org/10.1613/jair","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.240531Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:51821cfd7d1d4a5d08d7930ba75e6f96a31b5a506b6ae4cc8efcfc62f24f7f72","observation_id":"68a0e8ab-4899-4d25-8069-fdd024ab581c","resolution":{"observed_at":"2026-08-05T18:51:31.240531Z","resolver_source":null,"status":"malformed_identifier"},"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-05T18:51:31.245902Z","title":"In: Tools and Algorithms for the Construc- tion and Analysis of Systems","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.245902Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:7d6b7a574c63670f0893b4c9bb75c5537b2c9679d5ceacd368bfdbd27ac72216","observation_id":"2f281c41-729f-4039-9f02-4793719f2266","resolution":{"observed_at":"2026-08-05T18:51:31.245902Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2020.33915","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:34.395395Z","title":"In: Proceedings of the 8th International Conference on Formal Methods in Software Engineering","venue":null,"work_id":"217404fe-f8f7-4e99-bde0-dc786e359566","year":2020},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.252389Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:78d6fc048ff175f07ea9d396ba377a132dbab3528853d36f51b6fcac07974b2e","observation_id":"94bedcef-11c9-4dfe-b33f-d921c85f1bf3","resolution":{"observed_at":"2026-08-05T18:51:34.404632Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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":"5632.21856","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:34.274294Z","title":"In: Pro- ceedings of the 15th ACM international conference on Hybrid Systems: Computa- tion and Control","venue":null,"work_id":"0190d324-6cd2-45f5-8c68-ca507e6ad8ba","year":2012},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.257616Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:99520d29e119c5a34a97cb034bdf88ae9ab43a6d8c45f7b1cc52ea9c025b4c48","observation_id":"980dcea4-ba1e-4da4-94e8-4110ea3ba257","resolution":{"observed_at":"2026-08-05T18:51:34.283263Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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-05T18:51:31.264095Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.264095Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:a62784e11ee123fd4e69e36c5c913f7025254b0065490547adad4909c77ba506","observation_id":"ae9e2266-b213-4ffb-b23e-35d8ad33b38b","resolution":{"observed_at":"2026-08-05T18:51:31.264095Z","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":"10.2514/1.c032764","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:32.214089Z","title":null,"venue":null,"work_id":"d4e08293-39ab-4210-88b8-b56d0cdcea17","year":2015},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.269135Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:93a33e2d02779b2b3da7204aede9bbda72f42ce288b956091e1768400926a90a","observation_id":"4bb31f05-3f55-41f3-b111-54996be797fb","resolution":{"observed_at":"2026-08-05T18:51:32.220114Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:31.273938Z","title":"IEEE Transactions on Aerospace and Electronic Systems57(4), 2346–2368 (Aug 2021).https://doi.org/10","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.273938Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:855f8fd924432a9c1de84910f5416b4541ee1f0e2d75f6e7a0a316a7aaabd0df","observation_id":"3a9a124f-9146-4c23-a503-c182763ad0d0","resolution":{"observed_at":"2026-08-05T18:51:31.273938Z","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-05T18:51:31.279367Z","title":"Journal of Automated Reasoning 63(4), 1031–1053 (Dec 2019).https://doi.org/10.1007/s10817-018-09509-5, https://doi.org/10.1007/s10817-018-09509-5","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.279367Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:6ee09e62cfeea9ecdfa82cf784cbdd0ca0f97aed48c594f95c23517f5d096975","observation_id":"6752165d-4544-4f88-ad53-2e12f274f873","resolution":{"observed_at":"2026-08-05T18:51:31.279367Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1902.04245","last_updated":"2019-02-14T17:30:49Z","snapshot_observed_at":"2026-07-06T07:32:32.559105Z","submitted_at":"2019-02-12T05:38:14Z","title":"VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems","version":2},"cited_work":{"arxiv_id":"1902.04245","doi":null,"metadata_source":"pith","pith_arxiv_id":"1902.04245","snapshot_observed_at":"2026-08-05T18:51:34.046813Z","title":"VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems","venue":"cs.AI","work_id":"50ca037a-4b15-43b0-9f1b-a1b243e301c7","year":2019},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.284737Z"},"links":{"cited_paper":"/paper/1902.04245","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:7bbdc3ae5baeeb9387da4a81adef2dfe4c1e5216aff008c9534f11b1fe81910b","observation_id":"0be7a8d0-f224-4138-8cbf-001a38a54c5d","resolution":{"observed_at":"2026-08-05T18:51:34.053716Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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":"2308.14815","last_updated":"2025-03-10T04:10:08Z","snapshot_observed_at":"2026-07-06T16:11:27.419669Z","submitted_at":"2023-08-28T18:06:24Z","title":"Distributionally Robust Statistical Verification with Imprecise Neural Networks","version":4},"cited_work":{"arxiv_id":"2308.14815","doi":"10.48550/arxiv.2308.14815","metadata_source":"pith","pith_arxiv_id":"2308.14815","snapshot_observed_at":"2026-08-06T00:16:16.768632Z","title":"Distributionally Robust Statistical Verification with Imprecise Neural Networks","venue":"cs.AI","work_id":"354e53a6-18cc-4640-b2f7-9e96aeb44ff2","year":2023},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.290672Z"},"links":{"cited_paper":"/paper/2308.14815","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:35b4ef45a2c6f5886864873a91e26c29b2dbc583352aae34f79925fd5cca936c","observation_id":"5265f1c0-c248-4fe0-b2f4-7731e6fc246f","resolution":{"observed_at":"2026-08-05T18:51:32.180390Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:31.296363Z","title":"International Journal on Soft- ware Tools for Technology Transfer17(4), 469–484 (2015)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.296363Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:86e6715ebc4192795a82f865902cec8a7e4b9f73f8ddd4986d2cecf3f0bb2daf","observation_id":"3626eb6f-99b6-43ff-813a-e8991e9b9e9c","resolution":{"observed_at":"2026-08-05T18:51:31.296363Z","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-05T18:51:31.301307Z","title":"Theoretical Computer Science410(42), 4262– 4291 (Sep 2009).https://doi.org/10.1016/j.tcs.2009.06.021,http://www","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.301307Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:11c286c97b0d61109bc82c7515d77ca54a586a364e51a8e405db8ffc329abde1","observation_id":"cee6685e-3a19-44c6-beaa-add705b8ec7f","resolution":{"observed_at":"2026-08-05T18:51:31.301307Z","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-05T18:51:31.305897Z","title":"In: Proc","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.305897Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:532ce20194c67a2a88d5cacd6c51df60513b0cdf89ac9db0ae07d39a9732740e","observation_id":"ee8567f4-7d2f-4603-be27-b3664586f658","resolution":{"observed_at":"2026-08-05T18:51:31.305897Z","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-05T18:51:31.315906Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.315906Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:1b4bf1e59b407207b06f02be4fb7b97db02558e8fd1545cc0de83171d2fe9377","observation_id":"3c019b1f-9a14-40b7-81de-a6c3a3238349","resolution":{"observed_at":"2026-08-05T18:51:31.315906Z","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-05T18:51:31.320802Z","title":"Wiley-Interscience, Hoboken, N.J, 3rd edn","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.320802Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:afd0cb711efa27806c27ecd3a81226c9772389fe218fa43967a13248e09e9b0c","observation_id":"bd41ea2b-45fe-47d6-b0b1-9e2261d70044","resolution":{"observed_at":"2026-08-05T18:51:31.320802Z","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":"10.1109/cdc.2004","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:32.124200Z","title":"In: Proc","venue":null,"work_id":"e893bbcb-02bc-4ed1-9186-513693b9122a","year":2004},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.325815Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:e6ee172e7387624b42070e0ae93b276e92a34e4cbca6922b60b7be75070514ca","observation_id":"1c0f57ef-eb8e-4945-a040-d95b4405dd39","resolution":{"observed_at":"2026-08-05T18:51:32.131325Z","resolver_source":"doi","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":"10.1007/s10009-022-00669-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:32.105665Z","title":"International Journal on Soft- ware Tools for Technology Transfer24(5), 667–689 (Oct 2022).https://doi.org/ 10.1007/s10009-022-00669-9,https://doi.org/10.1007/s10009-022-00669-9","venue":null,"work_id":"ad7a1b4f-b492-4443-acc5-d0fbccdef2c8","year":2022},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.332520Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:567cecc94a0c18abbc5c0c12d594c4978c5a8da7fb7455e79a06d00bfdd6ee82","observation_id":"87da4ce0-7efc-418a-b1b9-4268c7aa2576","resolution":{"observed_at":"2026-08-05T18:51:32.111762Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:31.337656Z","title":"Robotics: Science and Sys- tems X (Jul 2014).https://doi.org/10.15607/RSS.2014.X.039,http://www","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.337656Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:032b50e88918dfd08af9b43e65b18feb4b9abe1b1f45d21528ccf6aa13bdb526","observation_id":"3cef35d5-bc0d-467e-b0bb-71080b9ea33f","resolution":{"observed_at":"2026-08-05T18:51:31.337656Z","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-05T18:51:31.342303Z","title":"In: Embedded Systems Development, pp","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.342303Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:a07d14ee3f085c4b8624b0b47e85ecf92006baec1a22aabcfcaf486671dce405","observation_id":"7657b8b3-b80b-47d2-a6b1-461eea83fdc0","resolution":{"observed_at":"2026-08-05T18:51:31.342303Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.10564","last_updated":"2022-02-16T18:42:02Z","snapshot_observed_at":"2026-07-06T09:30:26.105822Z","submitted_at":"2020-06-18T14:17:29Z","title":"Distribution-free binary classification: prediction sets, confidence intervals and calibration","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.10564","snapshot_observed_at":"2026-08-05T18:51:31.354183Z","title":"arXiv:2006.10564 [cs, math, stat] (Feb 2022),http://arxiv.org/abs/2006.10564, arXiv: 2006.10564","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.354183Z"},"links":{"cited_paper":"/paper/2006.10564","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:24329b5325db0f57da5a101e122c09b1f9f0e8b5d51163c813c558cd2519d49b","observation_id":"bb03926b-2011-442a-bb4e-f3081f9a8386","resolution":{"observed_at":"2026-08-05T18:51:31.354183Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.07080","last_updated":"2020-10-06T19:43:24Z","snapshot_observed_at":"2026-08-04T20:59:46.406830Z","submitted_at":"2020-02-17T17:19:40Z","title":"The Probabilistic Model Checker Storm","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.07080","snapshot_observed_at":"2026-08-05T18:51:31.360984Z","title":"07080,http://arxiv.org/abs/2002.07080, arXiv:2002.07080 [cs]","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.360984Z"},"links":{"cited_paper":"/paper/2002.07080","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:f2136d7e67b435074d5548d10cf9c148ee5ca7146b62f00879f5f5113fa291ca","observation_id":"cc095c84-e04e-49df-a8ee-4b711e7abbfb","resolution":{"observed_at":"2026-08-05T18:51:31.360984Z","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-05T18:51:31.366789Z","title":"In: Computer Aided Verification","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.366789Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:c33cd32e4461f64bdc01ca608a04479bc93b7ee341b74665e8502c70d618555e","observation_id":"3628c9b6-5509-4a5a-a5e1-8e7d0ae200e8","resolution":{"observed_at":"2026-08-05T18:51:31.366789Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1705.09970","last_updated":"2017-07-14T15:46:25Z","snapshot_observed_at":"2026-08-08T00:23:58.975162Z","submitted_at":"2017-05-28T17:53:01Z","title":"Probabilistic Program Abstractions","version":2},"cited_work":{"arxiv_id":"1705.09970","doi":null,"metadata_source":"pith","pith_arxiv_id":"1705.09970","snapshot_observed_at":"2026-08-05T18:51:33.987257Z","title":"Probabilistic Program Abstractions","venue":"cs.AI","work_id":"7a668e73-3861-4472-a9e2-576cb04e9a10","year":2017},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.376406Z"},"links":{"cited_paper":"/paper/1705.09970","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:117d6b03baae3343c6a039be98eb30c80e7d7871cd36f70c2da9a0a0b324739a","observation_id":"32ec10c1-a91a-484e-b860-35d8b840aa09","resolution":{"observed_at":"2026-08-05T18:51:33.993729Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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-05T18:51:31.384286Z","title":"Dover Publications, New York, 1 edn","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.384286Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:4e1349c439cabe2bcf9895eb10381ee397151d2f58a270444aad3687d15a1b74","observation_id":"5206303c-9905-418c-a81e-40e87aa1af1f","resolution":{"observed_at":"2026-08-05T18:51:31.384286Z","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":"2022.31975","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:33.945002Z","title":"IEEE Trans","venue":null,"work_id":"14813c26-c842-4d02-9c88-e97d611792fb","year":2022},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.391251Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:279ec91ba090ecd913579d35692d1854dd4260a333aa76ad0417fa5efd9c67ef","observation_id":"37594930-3f2e-491b-a7ad-77613fcdfef3","resolution":{"observed_at":"2026-08-05T18:51:33.955174Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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-05T18:51:31.398013Z","title":"In: Computer Aided Verification","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.398013Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:5bb973749e7044b7cd948b0890e3aef2e04d03dba5d26a94c2c1ba8d3a79b1df","observation_id":"e1cf8cac-def0-4b59-8614-811c4eda50de","resolution":{"observed_at":"2026-08-05T18:51:31.398013Z","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":"10.1007/978-3-031-06773-0_36","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:32.056123Z","title":"In: NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings","venue":null,"work_id":"49952e90-f406-4b27-adac-c6df6d2176c1","year":2022},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.405081Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:19203668ccfe7c2fd22f034c0c5b32007ce512a8262957621813dd4b750610c2","observation_id":"de537071-a018-42f9-ae23-dd66b5e68ea8","resolution":{"observed_at":"2026-08-05T18:51:32.062250Z","resolver_source":"doi","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":"5365.33822","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:33.835794Z","title":"In: Proceedings of the 23rd International Conference on Hybrid Systems: Com- putation and Control","venue":null,"work_id":"a55b2837-d228-4c66-b56d-69685990f692","year":2020},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.410070Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:77067a4f0e133364f5f8a786195a5915ad1444d76b6bac878840205d89023e61","observation_id":"eec64385-7b07-4d65-a834-6ece87cc89c8","resolution":{"observed_at":"2026-08-05T18:51:33.848957Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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-05T18:51:31.415101Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.415101Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:a7a78709b36856310d0124a2b9548286b818132c3aa02b65642451db6659faa7","observation_id":"c0c2c4bf-60d0-43fa-9dbd-c692769fba2b","resolution":{"observed_at":"2026-08-05T18:51:31.415101Z","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-05T18:51:31.420103Z","title":"In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.420103Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:d5dce3445e399e80ea3fba2c8a23da24f2bced43c47dca9ecd12dc28634da784","observation_id":"cc625c03-22e2-427b-9692-aa7ab518ac30","resolution":{"observed_at":"2026-08-05T18:51:31.420103Z","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-05T18:51:31.430402Z","title":"ACM Transactions on Graphics42(4) (July 2023),https://repo-sam.inria.fr/fungraph/3d-gaussian-splatting/","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.430402Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:9ab4e24b0b6903c58c48beeb127b387bc3ef810cd70565b7befb046fd4f062ca","observation_id":"30620a37-c6ec-4f4c-a4ff-1e7d50aedffb","resolution":{"observed_at":"2026-08-05T18:51:31.430402Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1207.5086","last_updated":"2012-07-21T01:36:59Z","snapshot_observed_at":"2026-08-05T06:36:58.529961Z","submitted_at":"2012-07-21T01:36:59Z","title":"Assume-Guarantee Abstraction Refinement for Probabilistic Systems","version":1},"cited_work":{"arxiv_id":"1207.5086","doi":null,"metadata_source":"pith","pith_arxiv_id":"1207.5086","snapshot_observed_at":"2026-08-05T18:51:33.626660Z","title":"Assume-Guarantee Abstraction Refinement for Probabilistic Systems","venue":"cs.LO","work_id":"aa4062e5-7dca-400c-828d-a2f31ae832b2","year":2012},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.436782Z"},"links":{"cited_paper":"/paper/1207.5086","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:1a005490f40c4dea4ef30e47a2ea98fb95fab5b54672b92b19398cf356bf6b9a","observation_id":"fe55bf31-bea9-4f3d-87e5-7a00a700644a","resolution":{"observed_at":"2026-08-05T18:51:33.632762Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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-05T18:51:31.425022Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.425022Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:cd912552d362b048589edf2356220b1f8f0779ff948ce8b8943f3e410199234e","observation_id":"80394812-ab20-4cb6-96ad-d54fe7503e97","resolution":{"observed_at":"2026-08-05T18:51:31.425022Z","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-05T18:51:31.448415Z","title":"In: Bernardo, M., Hillston, J","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.448415Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:81eab46f2e964576879253bce775c01f1627bef74927fc5f9b086ac089e3066f","observation_id":"368437ab-b379-4781-9ac5-6476aad09232","resolution":{"observed_at":"2026-08-05T18:51:31.448415Z","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-05T18:51:35.448354Z","title":"In: Gopalakrishnan, G., Qadeer, S","venue":null,"work_id":"4fe7e5c1-7035-4c6a-b8f9-5e9137e54635","year":2011},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.456046Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:1079d5658fce1d9c6eeeeae7333292e838105348214a6e67a7b643a14e641583","observation_id":"98fa7dc2-be25-419f-8727-08ba14272538","resolution":{"observed_at":"2026-08-05T18:51:35.454048Z","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-05T18:51:31.442842Z","title":"In: Proc","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.442842Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:3a3eaa47d0adce18993de329c456818bd2325513ae36b9ed21c399755fe75853","observation_id":"38d3ea54-dea9-411e-a3df-b45d60964512","resolution":{"observed_at":"2026-08-05T18:51:31.442842Z","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-05T18:51:35.428187Z","title":"In: Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems","venue":null,"work_id":"216a5225-3d66-4663-ab7f-23d20bb91ce2","year":2010},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.473281Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:158a6e70800daf801fcdcf17afa673fd700ee5e32dc2f3f774e95725ba978a74","observation_id":"cdb196fe-113f-4fbc-85e2-57cdc2d61e37","resolution":{"observed_at":"2026-08-05T18:51:35.436229Z","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-05T18:51:35.408568Z","title":"Information and Computation 232, 38–65 (Nov 2013)","venue":null,"work_id":"7c529a47-b345-4daf-87b4-d1ba62b0098e","year":2013},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.482287Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:53baa2bfc9e6f3dd1d1e8b5c43ee5769fc895368de538e5e2fbcffdae69706e8","observation_id":"04be993b-bdac-4d6b-b4ea-a932536ac30c","resolution":{"observed_at":"2026-08-05T18:51:35.414331Z","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-05T18:51:31.464124Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.464124Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:bc021bfee6c0d02143b72700bad44fc2d374364265122db9625e0b4af613b441","observation_id":"48b9ddd5-6035-4170-8377-04d7d4e0f719","resolution":{"observed_at":"2026-08-05T18:51:31.464124Z","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-05T18:51:35.370695Z","title":"In: International Conference on Software Engineering and Formal Methods","venue":null,"work_id":"32c7655f-59da-4be1-9066-14fceb06c89f","year":2014},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.493999Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:7f4abf2ffb02b6162bad49f87240183735936a12f687263e24839e5d8e5368f4","observation_id":"46d99a91-989b-4218-9203-8763d8b23486","resolution":{"observed_at":"2026-08-05T18:51:35.377987Z","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-05T18:51:31.500390Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.500390Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:591d20e144eb577e7996f562bf8f4abd9b699e8182d2ad32665edb82511e0e89","observation_id":"58762d62-8b6b-4664-a8f1-7c65283466b8","resolution":{"observed_at":"2026-08-05T18:51:31.500390Z","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-05T18:51:35.391787Z","title":"In: Annals of Computer Science and Information Systems","venue":null,"work_id":"4960b647-d139-46d4-9f3d-b960b38343c7","year":2023},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.488952Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:06769a4dac3491ceda0609d1a3d0b11ddc25ea2db0bc54dcb0643a0d3ec2ba6e","observation_id":"fa5b748a-cd82-45a1-ae3b-d9e6f9543e55","resolution":{"observed_at":"2026-08-05T18:51:35.397144Z","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":"10.1007/978-3-030-28619-4_18","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:32.019496Z","title":"In: Amato, N.M., Hager, G., Thomas, S., 26 Jordan Peper, Yan Miao, Sayan Mitra, and Ivan Ruchkin Torres-Torriti, M","venue":null,"work_id":"dc1e3dba-ff3a-498f-864e-10533683dc5c","year":2020},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.511917Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:e07fbf68ea5a0d233b85600a11c9de98dd73693ad31cf9a83cb901d80469bc53","observation_id":"3195c018-77fb-41a6-a2f4-02ec3a06e638","resolution":{"observed_at":"2026-08-05T18:51:32.026057Z","resolver_source":"doi","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-05T18:51:35.330411Z","title":"In: Proceedings of the 18th International Con- ference on Autonomous Agents and MultiAgent Systems","venue":null,"work_id":"6b03c2b2-36de-4a4a-9138-766a77fbf1ed","year":2019},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.516940Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:8500cae71df46ddbeb31a768d59a2f155874b471f594a3d42857525773b8553f","observation_id":"001d2082-382f-455d-9d6d-22e4d921ed0e","resolution":{"observed_at":"2026-08-05T18:51:35.335537Z","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-05T18:51:35.349071Z","title":"In: In Pro- ceedings of Learning for Decision and Control (L4DC) (2025)","venue":null,"work_id":"f1406678-0413-481b-be1c-e1d2be631cb4","year":2025},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.506770Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:33ce415205c2f8405b65f94917b788c8a528c9687ea6bfce123429abcf1b137f","observation_id":"917abd79-0264-4860-8011-a8ac58fabdbc","resolution":{"observed_at":"2026-08-05T18:51:35.354620Z","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-05T18:51:35.312615Z","title":"IEEE Transactions on Automatic Control64(6), 2629– 2636 (2018), publisher: IEEE","venue":null,"work_id":"71e84934-9e48-483b-a157-30c6caf8c2d8","year":2018},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.528156Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:1600721dd4868b7adfc397c6939884f052ffb4c121a56c984b39ebdb22516bde","observation_id":"206a873d-ca60-4c8e-97b4-815ffd1933a4","resolution":{"observed_at":"2026-08-05T18:51:35.317938Z","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-05T18:51:35.293209Z","title":null,"venue":null,"work_id":"bd0e3f45-bc52-4f58-99a6-d4c0709bd659","year":2025},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.534201Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:a87cf807973aa1570f39a55b82c4160639cf58af85956045f2e004190db736b6","observation_id":"4b5bdfd7-ecaf-4d55-b9dc-a6dc54513ead","resolution":{"observed_at":"2026-08-05T18:51:35.297915Z","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":"10.1007/978-3-030-28619-4_10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:32.002615Z","title":"https://doi.org/10.1007/978-3-030-28619-4_10","venue":null,"work_id":"63ba13bd-c54e-4a06-afb7-fd30c2d1b5ea","year":2020},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.522124Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:8186a47f76f74eb5a71717551230d5aafcf7bd76eb0c25caf31d31dfec669392","observation_id":"e1a45b0f-c0ad-4a05-8096-057de35e0a19","resolution":{"observed_at":"2026-08-05T18:51:32.007613Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:31.545553Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.545553Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:9b0be3a1ab144e9994e6b460d54b437ec2896bfc94f15b69b1623504b70ac41b","observation_id":"1d807ffc-afdf-4203-b4ca-515f1a859660","resolution":{"observed_at":"2026-08-05T18:51:31.545553Z","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-05T18:51:31.550982Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.550982Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:37987b7ef778eb76aab067ca113bee461d0db51fcba4bb622697893ed0ee3119","observation_id":"69781c2f-4883-496c-95cd-74a7ab8bb6f2","resolution":{"observed_at":"2026-08-05T18:51:31.550982Z","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-05T18:51:35.275647Z","title":"In: IEEE/RSJ International Conference on Intelligent Robots and Systems","venue":null,"work_id":"c40efb47-2dd8-4cbb-9d6f-ec38c080f79f","year":2025},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.540294Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:b5ff53b89176833a02cdab02914aa5de844decd84a597b75ac0d6b795e26ba83","observation_id":"939b94e5-353e-4430-b5b2-9d8a513e90d3","resolution":{"observed_at":"2026-08-05T18:51:35.281015Z","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-05T18:51:31.562579Z","title":"In: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.562579Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:e2e03f9b94ba8c1338d0f74baba70dc9dc773f4a2e9c06586c4f26af21482c6f","observation_id":"dc49219a-05f0-475f-b067-59118392f5c6","resolution":{"observed_at":"2026-08-05T18:51:31.562579Z","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-05T18:51:31.568201Z","title":"Statistics in Medicine17(8), 857–872 (Apr 1998).https://doi.org/10.1002/(sici)1097-0258(19980430)17:8<857:: aid-sim777>3.0.co;2-e","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.568201Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:45ed04e44d0ecc0070489ce35d7f55a92db3ab00df94649c93fc07a82cb08e1a","observation_id":"330f8513-547d-4836-a31c-fdceb8baf5b6","resolution":{"observed_at":"2026-08-05T18:51:31.568201Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.02449","last_updated":"2024-06-29T07:43:38Z","snapshot_observed_at":"2026-07-06T15:22:58.867514Z","submitted_at":"2023-05-03T22:22:48Z","title":"Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems","version":2},"cited_work":{"arxiv_id":"2305.02449","doi":"10.48550/arxiv.2305.02449","metadata_source":"pith","pith_arxiv_id":"2305.02449","snapshot_observed_at":"2026-08-06T00:16:16.768632Z","title":"Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems","venue":"cs.LG","work_id":"3d6eeafc-b86a-49ed-bc81-ad22858029e9","year":2023},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.556366Z"},"links":{"cited_paper":"/paper/2305.02449","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:c3a4cfe0f8429cfd80deec06f18ffb4c9644c4ffc1b3a7630913ad076d3a2c02","observation_id":"7a88d228-087b-47f7-81da-43973e558e83","resolution":{"observed_at":"2026-08-05T18:51:31.979463Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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":"10.1145/3243216","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:31.934105Z","title":"ACM Transactions on Embedded Computing Systems18(1), 2:1–2:26 (Jan 2019).https://doi.org/10","venue":null,"work_id":"4a99aece-10ba-4ee0-a642-b8f7b5e7b214","year":2019},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.579609Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:fd9314ab2c19a0594d617bc73102ceeb55aed583299c8a3f26125c0e952697f9","observation_id":"97eb1166-db73-4aa1-b572-f5b977cec5a0","resolution":{"observed_at":"2026-08-05T18:51:31.939269Z","resolver_source":"doi","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":"10.1007/978-3-642-39799-8_35","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:31.916478Z","title":null,"venue":null,"work_id":"3804b5cd-8adc-4c5d-966d-74bf3e7706ee","year":2013},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.587138Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:33023bf20084ad3c960c47ab1c00a10d70cd7bfd3dbd184195d71d7b0b9dbbdd","observation_id":"8976a91d-2205-499f-b2a7-3b4fcdddeae6","resolution":{"observed_at":"2026-08-05T18:51:31.921683Z","resolver_source":"doi","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":"9902.33110","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:33.392621Z","title":"In: Proceedings of the 2019 Inter- national Symposium on Physical Design","venue":null,"work_id":"44bcb16e-c6a1-4a19-97b5-51690e3f7edf","year":2019},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.573578Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:7e85db0b19020a9aea323d03408f483033bb242387c7ffdf82e6a67f35fdd417","observation_id":"bbf5d073-b6bb-46ee-a405-ec4eb86391cf","resolution":{"observed_at":"2026-08-05T18:51:33.404514Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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":"2020.30126","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:33.286380Z","title":"IEEE Tran","venue":null,"work_id":"3706d13b-d8a7-46b8-9975-e8c72850c818","year":2020},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.598123Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:64e8a5c2bdf9b2c8e386a23179bb68542677c0bac96265041ba02f2ed5333e1d","observation_id":"c23bfeca-4ecc-4d0e-9836-6cbc8ab97361","resolution":{"observed_at":"2026-08-05T18:51:33.295815Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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":"10.1184/r1/","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:31.898320Z","title":"PhD Thesis, Carnegie Mellon University (Mar 2019),https://doi.org/10.1184/R1/ 7970222.v1","venue":null,"work_id":"07d74db7-e421-4f2f-a274-7ac5aefe7189","year":2019},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.606482Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:51048a77a02d9e08ee5c119041d6ed63cb5deb659ecacf30bac5a05202a452dd","observation_id":"00cad62c-1370-4ada-8519-8858b853ae79","resolution":{"observed_at":"2026-08-05T18:51:31.903546Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"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-05T18:51:35.243718Z","title":"In: Computer Aided Verification","venue":null,"work_id":"f1c44be9-101e-467b-854c-df79128889ae","year":2023},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.592586Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:7ca52d42649c7755c2e959c930133d877552cb4dd98137ee339dc5ff3964ca59","observation_id":"d93e1a2a-2970-462f-a3c9-58e426934c89","resolution":{"observed_at":"2026-08-05T18:51:35.248957Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-05T18:51:35.224301Z","title":"In: 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop","venue":null,"work_id":"d495e6ec-c21f-4eb6-8fa1-14ef3eb30ddc","year":2014},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.619070Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:c00813d15d58bc8fd1c4b99833877795ad1ad01e2eeb0d398fd8081578da8325","observation_id":"fb5532f9-0cad-429c-be41-a100a01db2ed","resolution":{"observed_at":"2026-08-05T18:51:35.229494Z","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":"6045.26560","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:33.159995Z","title":"In: Proc","venue":null,"work_id":"cc95547e-2dde-482b-931e-1fe143b47239","year":2014},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.626607Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:3bc6f4afb945b944de270dc0463d73a9aaf3bee1b7692e4622a3e804686acbc2","observation_id":"6cab56cd-70b8-41a8-8c6c-59def92a214e","resolution":{"observed_at":"2026-08-05T18:51:33.179452Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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":"4341.2022","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:34.506009Z","title":"In: ACM/IEEE 13th Intl","venue":null,"work_id":"47424ba7-01fa-4448-bf23-16f8225aac70","year":2022},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.612267Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:73d4f01ec73796389d10f53c61fdf45be0b5e1e25b5222c31bb80197dbd0c7c8","observation_id":"cec3b7b9-6235-45fc-8c6c-514da7f20d22","resolution":{"observed_at":"2026-08-05T18:51:34.521268Z","resolver_source":"raw_fallback","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":"10.3166/ejc.18.217-238","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:31.852371Z","title":"Frankenstein: Contract-Based Design for Cyber-Physical Systems","venue":null,"work_id":"b40715d0-8169-4c0e-8807-313d66065482","year":2012},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.638408Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:484530c3302ab71b26c6f2f73267b064e7e89e183878bb89b3b8ee4bf6a15ec7","observation_id":"3d8dd30d-1d02-4959-95c0-72a3c000ac34","resolution":{"observed_at":"2026-08-05T18:51:31.860742Z","resolver_source":"doi","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-05T18:51:35.207082Z","title":"In: Deshmukh, J.V., Havelund, K., Perez, I","venue":null,"work_id":"815fd279-2e1e-47bf-84fc-9ac510e473c2","year":2022},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.645095Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:28f381089fcec5f76bbe271e169997662f66b170d570bf7df393e19bd5e96306","observation_id":"a7438e29-b580-423c-a0d1-2fe6c04e5b1a","resolution":{"observed_at":"2026-08-05T18:51:35.212051Z","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":"10.1007/978-3-642-35743-5_2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:31.874553Z","title":"In: Arbab, F., Ölveczky, P.C","venue":null,"work_id":"f910473f-a849-4faa-9c19-75d796618e5f","year":2012},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.632216Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:5c6ef7143ee3e211fa66b85b6e3d479e5969f531322b31d4f214392b405a08d8","observation_id":"7547be11-8a05-421e-9667-6fc019eb3062","resolution":{"observed_at":"2026-08-05T18:51:31.881270Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:31.655866Z","title":"In: 2024 IEEE International Conference on Robotics and Automation (ICRA)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.655866Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:bf29abaea3966ae10fee3b83b05e349094024dd1dd281f3856f99672987bcd91","observation_id":"20e965c5-d733-4ad0-a85a-df031c337ba7","resolution":{"observed_at":"2026-08-05T18:51:31.655866Z","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-05T18:51:35.190799Z","title":"In: International Conference on Learning Representations (2014)","venue":null,"work_id":"4abda930-faed-44ef-9e2b-d9d315416ac1","year":2014},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.663799Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:5a71a40bae1619bab6166eb2d0ac78186bb2881120e9e82005fd40592eaa6161","observation_id":"cb9e86ea-3624-44ee-ada5-a723ba7a8821","resolution":{"observed_at":"2026-08-05T18:51:35.196469Z","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-05T18:51:31.650590Z","title":"In: 2018 17th IEEE International Conference on Machine Learning and Applications (ICMLA)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.650590Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:e085d603117ff541d1d82fe6205cf1e3ab27de78b6923e5e23262f2a5155e846","observation_id":"0c5b1293-3439-4e44-8392-96a57446306d","resolution":{"observed_at":"2026-08-05T18:51:31.650590Z","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-05T18:51:35.127944Z","title":"In: Pro- ceedings of the eighth international symposium on imprecise probability : theories and applications","venue":null,"work_id":"4da60dbc-793b-4267-b22c-c9cab0f66bb0","year":2013},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.683424Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:642723dd9f34a174058aa732e318455b92b0500fff6f7798fb56bbc3925b809c","observation_id":"98eda3a3-8340-4c13-a22d-9cbd7553ccac","resolution":{"observed_at":"2026-08-05T18:51:35.133079Z","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":"1903.09354","last_updated":"2019-03-22T04:37:36Z","snapshot_observed_at":"2026-08-01T17:55:59.619615Z","submitted_at":"2019-03-22T04:37:36Z","title":"A Model Counter's Guide to Probabilistic Systems","version":1},"cited_work":{"arxiv_id":"1903.09354","doi":null,"metadata_source":"pith","pith_arxiv_id":"1903.09354","snapshot_observed_at":"2026-08-05T18:51:32.802257Z","title":"A Model Counter's Guide to Probabilistic Systems","venue":"cs.LO","work_id":"c5f8567a-e359-4e6d-adeb-06c8e3a5d4c9","year":2019},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.689940Z"},"links":{"cited_paper":"/paper/1903.09354","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:82c6cac9418624cfc4c671f981687bb1568952a271a735dd862c9769210ff3c7","observation_id":"084879b0-f38c-4ab4-ab66-3a99bbd52178","resolution":{"observed_at":"2026-08-05T18:51:32.807269Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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-05T18:51:35.164178Z","title":"In: Proceedings of the Twelveth Interna- tional Symposium on Imprecise Probability: Theories and Applications","venue":null,"work_id":"e02a0733-1649-489e-8cf7-7b80362e74b7","year":null},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.670652Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:f6ae55d273e56c1afd618cf963692a8d9ad805a86cdde7ff6a1b289d587e1776","observation_id":"13ab18ee-6703-429b-803e-fee1ab15a903","resolution":{"observed_at":"2026-08-05T18:51:35.172396Z","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-05T18:51:31.702295Z","title":"In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.702295Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:3d50f84912de74dd6c2a0f473c0bddcd4e74afd4e93d344801063ea33ec82966","observation_id":"16dc73cb-1b53-4ea0-92db-6edbf54b2928","resolution":{"observed_at":"2026-08-05T18:51:31.702295Z","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":"2012.64261","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:32.673806Z","title":"In: 2012 IEEE 51st IEEE Conference on Decision and Control (CDC)","venue":null,"work_id":"5c9c7d90-8773-4585-899e-754f35cbd641","year":2012},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.711244Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:cdd5542abb05d495e8f6efb30a4e4c16c6aeba4a2af0b47e840450ad694d241b","observation_id":"6879b15b-5f71-4e01-8f34-1e802a5a4a5d","resolution":{"observed_at":"2026-08-05T18:51:32.682324Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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-05T18:51:31.721297Z","title":"2023 IEEE Conference on Secure and Trustworthy Ma- chine Learning (SaTML) pp","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.721297Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:ce999f6a403ad13276029106c844b5ee2fa214a8e94025a1a60d2098b46f6dd4","observation_id":"cce4199d-f2c2-47c1-b16d-f0206c4e3db9","resolution":{"observed_at":"2026-08-05T18:51:31.721297Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.21308","last_updated":"2025-05-19T17:26:59Z","snapshot_observed_at":"2026-08-07T17:38:55.575993Z","submitted_at":"2025-02-28T18:51:20Z","title":"State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.21308","snapshot_observed_at":"2026-08-05T18:51:31.696090Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.696090Z"},"links":{"cited_paper":"/paper/2502.21308","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:b06ebcd9d08dce1c84da3547e75a30e29fff020997e0a9a0ba32bcd46a738b52","observation_id":"c6057631-0928-4ce7-8d49-b944ead94865","resolution":{"observed_at":"2026-08-05T18:51:31.696090Z","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-05T18:51:35.099310Z","title":"CVPR (2025)","venue":null,"work_id":"b34144d6-c749-4bf8-9c35-1586c6f39ef2","year":2025},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.735776Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:00d0541ed29d272f32143b57325ceb269e103b3eb67efc95a03ed9c39cd47859","observation_id":"66e59e69-89b4-48c8-bfac-2843ed83b050","resolution":{"observed_at":"2026-08-05T18:51:35.105023Z","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":"2504.13175","last_updated":"2025-04-17T17:59:43Z","snapshot_observed_at":"2026-08-07T16:01:20.885795Z","submitted_at":"2025-04-17T17:59:43Z","title":"Novel Demonstration Generation with Gaussian Splatting Enables Robust One-Shot Manipulation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.13175","snapshot_observed_at":"2026-08-05T18:51:31.741275Z","title":"arXiv preprint arXiv:2504.13175 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.741275Z"},"links":{"cited_paper":"/paper/2504.13175","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:9d19763a30639a21d089614ab19c8afdd0f518504523a66833de1e7d4ee42d17","observation_id":"60d8928b-9987-44fe-bd50-a1f336767aa0","resolution":{"observed_at":"2026-08-05T18:51:31.741275Z","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":"10.1038/s44172-024-00162-y","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:51:31.796330Z","title":null,"venue":null,"work_id":"023a697f-73cc-45be-9738-4ca3e4963575","year":2024},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.747664Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:a9ea98df7ed112903a7aec9239f16a70346aa2574330bc049cfba397e6a78e1a","observation_id":"ead9f8a9-7a89-4282-9377-447ebde1e954","resolution":{"observed_at":"2026-08-05T18:51:31.803538Z","resolver_source":"doi","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":{"arxiv_id":"2305.03882","last_updated":"2023-05-06T00:28:49Z","snapshot_observed_at":"2026-07-06T15:24:00.424056Z","submitted_at":"2023-05-06T00:28:49Z","title":"Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.03882","snapshot_observed_at":"2026-08-05T18:51:31.727793Z","title":"org/abs/2305.03882, arXiv:2305.03882 [cs]","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.727793Z"},"links":{"cited_paper":"/paper/2305.03882","citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:96879e1b63ee74eff2c4890c2c89e02797d910a59a99001da8fe3b5e729272e5","observation_id":"dfa42ff2-e1db-4577-bb92-3d64a4dcda9c","resolution":{"observed_at":"2026-08-05T18:51:31.727793Z","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-05T18:51:31.349050Z","title":"20 in Embedded Systems, Springer New York (2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":154,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.349050Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:fe90825f89af9c6296cbe21c9969a646811ecdf415da2366d5691049245946cd","observation_id":"136f6275-a904-4d0e-bc50-437501850a36","resolution":{"observed_at":"2026-08-05T18:51:31.349050Z","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-05T18:51:35.146468Z","title":"html, iSSN: 2640-3498","venue":null,"work_id":"23dfd7ff-1f93-4b74-8c3f-b2db233dd8b8","year":2021},"citing_paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy","version":1},"reference_index":309,"source":"pdf_text","source_observed_at":"2026-08-05T18:51:31.677074Z"},"links":{"citing_paper":"/paper/2508.14181"},"observation_digest":"sha256:9fa08965a203a018ac8a4ec633ff6092623be1d64ce3341162cc0bf47c9262e5","observation_id":"ae273372-2e0e-48f4-ba40-dda07dd167df","resolution":{"observed_at":"2026-08-05T18:51:35.151397Z","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":"2508.14181","last_updated":"2025-08-19T18:13:02Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-07T08:23:55.354324Z","submitted_at":"2025-08-19T18:13:02Z","title":"Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":6,"metadata_mismatch":16,"parse_uncertain":0,"unresolved":47,"verified_exact":15,"verified_fuzzy":16},"total_outbound_references":101},"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 100 of 101 outbound references and 0 inbound Pith citation observations for arXiv:2508.14181."}