{"as_of":"2026-08-18T03:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ff19f42c4c5f8161125eb34ae36958c1c7cc2565a4cc9b9fb7a9fb3ea2636ab3","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-17T06:30:58.91139+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-17T15:25:44.925415Z","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:a46e0ea7afa1082d9394c6387936d07acc13190c61cbac5c7160887479adc770","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-17T15:25:44.925415Z","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:079819f19aa264d504279ecb77505539fe6c7d361c1c7ee7812848f49c3166aa","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:d0297b562b411f4cbadb8d6c3ffca88fbc10362bafb3ed8d7aef8842f213eb04","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-17T15:25:44.925415Z","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:4416ea187077b2cdb259407a3ad54f6e4e80e942a0099a700fcf29c041f7c3c6","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-17T15:25:44.925415Z","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:3b687296599457ba8dff85d44b92f29f5738f93377d2513e27d39865011675c2","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-17T15:26:22.372889Z","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-10T05:30:23.456663Z","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-17T15:25:44.925415Z","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:cd8b36ac725a40a6e094e477186cffe0e4abbe68eb83846f58dd5761f7eb6fac","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"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-17T15:25:44.925415Z","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:cc2f98843864e6fbdefa498a61acc3741c5e8a8eb6d0d811ea6667084b3d7c46","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:528b198adcd736525294044fab4513003e79da4fb7865141546777ae9f537d9b","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-17T15:25:44.925415Z","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:5e0345e772b43572ae8524ddf49e980955f3b19c27e7109bce14a5e658ff85b1","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-17T15:25:44.925415Z","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:6d08c10ebccfc483bb6f5b959ad07b19cc54ca8e012b749540603bc3790df4fd","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-17T15:25:44.925415Z","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:4758445248906f84d8089f2f063031b73530fafa9bc94c0a2acabc3af2fecf6a","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-08-13T12:26:05.192883Z","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-17T15:25:44.925415Z","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:52e406cb394d0303f808380041c1be9a06e5e914efc07424ba0d6e6719603e54","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-17T15:25:44.925415Z","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:4130c01319f7002e7ae738dba7987c4eddf1340a205d4ff8c59391193dff09bd","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-16T18:27:52.124393Z","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-17T15:25:44.925415Z","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:3d13e828daf78e18996ca3044c11e6ef242004488d3c2382406a69be0b4eed29","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:5648b52a43fe27a432074f167278128bfa5f01794f4eb6938ed0d981f93f4157","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-17T15:25:44.925415Z","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:d8c23f65263c224866af97c8b527858a0e35f930d20e72f50b892f3f6273b116","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.18077","last_updated":"2025-07-29T13:28:29Z","snapshot_observed_at":"2026-08-16T12:47:36.093672Z","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-17T15:25:44.925415Z","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:f27585ee9606aad95715b824b67250aac41d41a9e2e6525ff948e91b4fd12f70","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-17T15:25:44.925415Z","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:76ec2c48d69bd39eb02a712f872c29f69eb21e7cadc575eaf2544437d1261410","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-17T15:25:44.925415Z","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:a32b605a085cdcce9151f415e174b1ba6c29bc098e7b227e9d783b15092beedd","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-17T15:25:44.925415Z","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:c6fe51ff08e00db3a3344673ba731232746b537de16d29ebeee6a8a890e06052","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-17T15:25:44.925415Z","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:2520f8bcd5a9384d71ccc04190901aa040440c9f4f9b0be587493b08f897041a","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"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-17T15:25:44.925415Z","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:441c73b814bc5d960810d137d55c78c21ab6453bd677df92b8bec507d433fd6d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:9979d0db9755db2fc70484c57985d35facd966aefbaa6f23b9be9632c3cc2f89","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Journal of Aircraft","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-17T15:25:44.925415Z","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:72829dca56078065d63d3dd1ef8f3edab9ea140dade7acedc7b214392aef4b1a","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:0b7209c13fdc1911a3bdf9da91e6920e45bc58898385253aec06b4b53d815614","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-17T15:25:44.925415Z","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:2e14893445d80be70e13b609eec4f10564ac47a6b1ad9da5d8e160e4368eb9a7","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-08-14T17:17:44.494868Z","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-17T15:25:44.925415Z","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:f1913df449d999a31dd1b53405e34076ac82c4ff97d3c2a79eb1b730fcb8d1e4","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.14815","last_updated":"2025-03-10T04:10:08Z","snapshot_observed_at":"2026-08-16T15:05:09.967392Z","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-10T05:30:23.456663Z","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-17T15:25:44.925415Z","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:411155cf6f34f7dd7f630a0105e96ea88dea4ab62b67f9048b38dec5a6036712","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:ed65185268941592be3b8f7cb56e7d2b24c5fcad39926d3d94c63846f35c8105","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-17T15:25:44.925415Z","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:37735f22f6473cd563778339b40dc9336349004a50a66c62aa28f15e5e0e2e4d","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-17T15:25:44.925415Z","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:bc9bbccd644fedd12bd764a7770dd9747aaff92e3942b3cc334330f68ff8f8a9","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-17T15:25:44.925415Z","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:889e8c122a04b7a28523b56cd4981a5f29e9a3f7e585130976971aeef45d561a","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-17T15:25:44.925415Z","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:b764c0c78b2f70908ad7b4b8f11c695a09f7c55b752201ab0a73198e211bbd82","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","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-17T15:25:44.925415Z","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:e3bdc1502c496d389b7cacee42d2f9dc486a556ea2abb5084f9311d070b546c6","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-022-00669-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","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":"International Journal on Software Tools for Technology Transfer","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-17T15:25:44.925415Z","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:fb980d1eda94973ea5212b028067acc75cb4bb19b09b17c01de19e6f89df2fb7","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:16a716e5b80d42315f4a03eb8c949d5e6ac15824e3f95425c0e9d763a710bb4b","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-17T15:25:44.925415Z","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:959fb90c30c6f0209c995b6869a799817fda9ce3ee1e7748a217431c85a1a786","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-08-15T22:40:40.620433Z","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-17T15:25:44.925415Z","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:e629931ccf81469f9d3871ed8e7807dd25b5e974a8e0221b17b7010137de6791","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-10T20:46:27.164358Z","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-17T15:25:44.925415Z","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:69b17366e5765b1e5b23b6ca5a1f65b1f970e68d73a3b81f3c6a0c8fe78dd1f8","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-17T15:25:44.925415Z","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:60760b504b48566d0e2dc645c739f81fbfaec489be6a036e9e743d9bbc7e34c5","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-15T02:53:06.500884Z","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-17T15:25:44.925415Z","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:5168acfd1af216d3a3ad363472663b966503f40fd77879878e4f493342cc814e","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:38fce4cd31dff5bd99d37675f9fd3f5ded60508026e3289242d8f61f374ffe7a","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-17T15:25:44.925415Z","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:45815769d09b801c25f287da0789d86a733ab6366846ddbe6c4082b7b02e9db0","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:69c43267a13ff0caec9ec31968c9adb357417f0c9da41fa52ea4e638dd236fc1","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"In: NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings","venue":"Lecture notes in computer science","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-17T15:25:44.925415Z","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:f3e6fa0878ca0f3febc854eda6f3e4ec5cbb92171e2d13e541a4e7ce974953e9","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"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-17T15:25:44.925415Z","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:a74ba4d39954b373dc4ec09e84ba329659f09c911c890856368de9ca7f71303d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:5c9490c7ed5be578ffcef5564099b02e071fa39615e1115a24fb108bff860047","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-17T15:25:44.925415Z","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:433ff52cd690c9afc1a588526a6e4f3a0aba9dcda481633d5465584142193600","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-17T15:25:44.925415Z","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:6993f89adbbb36820c260cc1244998c3b158855228a26074ccbd5ffaf0904446","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-15T00:52:32.781852Z","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-17T15:25:44.925415Z","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:3f8354f9d36096e4e2c7d1e191cdb2d6e4b15e010f7f094aa2386fb2f7f549f4","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:ad4b9a6bc56710fb3187efee0b122652183779ed1816149f02aec7928a3b3bfb","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-17T15:25:44.925415Z","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:bfa62cb6615c3479a1075f4b81885cb6f3e371b5a9dcdf9defa583d28e4acf19","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-17T15:25:44.925415Z","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:35c2d04cbfe0f6794e9b77a5db7d8645dbbee3b8fb958c14bda0901e28f97fc5","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:0e87d0981a2b27010107694092a533d2b97f5fdc220ad6bf908673ad17aef85f","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-17T15:25:44.925415Z","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:3b4a0922af72b3684b0ff8658d1f245d6a0d29f71861c65eb14074d7af009388","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:151b8582e49d595d6104d6ed165d853c87f929b858a07aa77a59fb106c9d6dcf","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:ff905633dbd3700187b345bebeeea442b1758cff9080c51899217b2e6862c71f","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-17T15:25:44.925415Z","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:a3d4b12f36528817793373d568e2baeec3ea9706f56eb411826e79cbac740967","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:945174b21baa3de4d691724125afb42b7d2f567ef5856c2a7de7f7ae30b3eb71","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-17T15:25:44.925415Z","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:7d81eba72519be92cdf896ceaafb66130447f397fcfe9d7fdb16722aa0108b99","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-28619-4_18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"In: Amato, N.M., Hager, G., Thomas, S., 26 Jordan Peper, Yan Miao, Sayan Mitra, and Ivan Ruchkin Torres-Torriti, M","venue":"Springer proceedings in advanced robotics","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-17T15:25:44.925415Z","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:594bb8ea2cd5b798396a08ba29f6768212a822a74b4267342988dacd55ec8957","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:2791b857b5605b76a74ac01095d68827fb56d1da7d5518366b17057a22f493fa","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:cdeaaf568aecbd5c5a10d4312aabd9c94707a5df965bdaec1ac03a5df8e26c58","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:3fea2df6317a228bd1027b7e67a8ade6bbc24bc44b7337e9b8b5cf479b8ae5c2","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:86a52b5e6ac7cd4cdf7c0cd82953458ff74e0395e48af4e15f51e4903fde1f34","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-28619-4_10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"https://doi.org/10.1007/978-3-030-28619-4_10","venue":"Springer proceedings in advanced robotics","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-17T15:25:44.925415Z","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:241889e5d4cb42fbd548ba21809bc463e1249823da6443b2344174550cb47938","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:0906e72a1d1cd77772e706acd4ec4624c97146d3d49fec1bbd4ac96e6a198257","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-17T15:25:44.925415Z","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:b8a63066209f42d305aef3e9c4d2bcacf6d845d66f64ee71d21f41d5504d6e28","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-17T15:25:44.925415Z","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:ae8fe981e7ef4bc53f043aeabccbe326806a623db27db7350a38099311825d96","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:03d1c9eee952f9b1e1e9b4a9412068d90ffcdb82ad360a9dc38c834564fa519a","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-17T15:25:44.925415Z","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:2f0a5019754a4bb7c23d9a861cf97d262ca38415cd504751b3f8943c7026ab27","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-08-16T15:35:49.700514Z","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-10T05:30:23.456663Z","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-17T15:25:44.925415Z","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:f774b1e81339fba5b9258ce1aabb15d2eb428d45f32dc40492f5bd148e571f82","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3243216","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"ACM Transactions on Embedded Computing Systems18(1), 2:1–2:26 (Jan 2019).https://doi.org/10","venue":"ACM Transactions on Embedded Computing Systems","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-17T15:25:44.925415Z","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:4e3241d62d3d294898f28af8639619e912a27686ef4e09f9ee9f050af891ff75","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-39799-8_35","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Lecture notes in computer science","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-17T15:25:44.925415Z","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:2f1b5c52dd7513dc30666ae147b9299f22f561ce59082850cc334d2b46216495","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"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-17T15:25:44.925415Z","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:e855af86dd47a231d4eac213ab572274bf902c79833ae486d1e461818155e3a9","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"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-17T15:25:44.925415Z","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:ecec83985c867d954586f21cb0c0d9314a78ca7673a0f8cc90026395cdaef576","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"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-17T15:25:44.925415Z","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:a5200fcdf751904c1bf00f1bdcfc7b0969c7fd3a7eab0d5c6baf6feeecddea99","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:a7d4c10849ddf417cdbcad341c2fe1d4f0df9b8b57490cdb53259b086b9060f3","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:7ba91aa6dae291a2f4e1ed20d30ebe305f2d4f343ebeac9f23b4f54f4f6f671e","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"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-17T15:25:44.925415Z","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:941607ca01c6a769732ea309aa4ed2271cf13fe3218f9c379219b99897283685","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"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-17T15:25:44.925415Z","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:fea4049e1576886eee1ea1e39b0e8e1940a93148b3d18368f1cd8093baa2a4c6","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3166/ejc.18.217-238","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Frankenstein: Contract-Based Design for Cyber-Physical Systems","venue":"European Journal of Control","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-17T15:25:44.925415Z","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:43730a20f20b90f2af0394ffdaf78588118e133b2d91e7634a651401b62aad3c","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:49cf1b52d027a593a8385c82ecb7c68fed0b966c9b5b2f7d83cd04dd57790939","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-35743-5_2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"In: Arbab, F., Ölveczky, P.C","venue":"Lecture notes in computer science","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-17T15:25:44.925415Z","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:47a89da384ee971a1acef1a41e71d74a3f77a5fcad25f0ae0a031849bce7db27","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:8d938618b7cbf330b7943ac190b719ba7e355d40aeeeb850f23bcc569da12602","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-17T15:25:44.925415Z","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:f89ebd74f71a9c4b6ef39e85c16f5d472dc8681dad3a3fc99a08904cd0100b7a","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:6188ab3e8f2ea12a2530c3be0d5de2d56d7ff78c70aff735d6db2c6259bbd6b5","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-17T15:25:44.925415Z","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:6d1cdc528c71c6412988d1c9e79e80e0abeceff453add1558b0c0b2ee6fdc216","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1903.09354","last_updated":"2019-03-22T04:37:36Z","snapshot_observed_at":"2026-08-14T16:58:26.101190Z","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-17T15:25:44.925415Z","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:633691213806632efc65ba4219a55ca9af4476a0b766ea431232848e9af2266a","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:a25a312e5a66594afaafcb5306e420212d01cfd4351519a3573bda1c7b677c5c","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:a05f68973e0b98b5aa5196317817bc558ee75c74446ea773647d561736df82d4","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-17T15:25:44.925415Z","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:ac3dc6a4705dde5d69a9bf999a3661e06a31a230308efc14dc5bfb9999af2ed7","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-17T15:25:44.925415Z","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:b8a1e08f1b00460504d3341747853e85e870afbe41d7788164ddada340025861","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-16T12:54:10.658871Z","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-17T15:25:44.925415Z","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:345eb5cdd6cd24e1294ec7d48768890a3a61e718c17c82598ac43dc7a35c34dc","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-17T15:25:44.925415Z","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:b406bbab1b01bfaf61da4e20dcca5900345f680e4bbd326a78f314f8ca7dbe5d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.13175","last_updated":"2025-04-17T17:59:43Z","snapshot_observed_at":"2026-08-17T15:25:04.438378Z","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-17T15:25:44.925415Z","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:888c26416dbba64fc3404e9a5bf5fbf8949cc04cf788d80816ebe5629bc9e8a1","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Communications Engineering","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-17T15:25:44.925415Z","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:97aed5dcb84b78842462709eb819883ce2cb6c9966689cc7f66f9ae1c66cbdd1","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.03882","last_updated":"2023-05-06T00:28:49Z","snapshot_observed_at":"2026-08-16T15:35:10.804898Z","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-17T15:25:44.925415Z","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:8712084594087db3e1f190b56f2620b63ad52425f92274ba8388971f6621ac3c","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-17T15:25:44.925415Z","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:75051653854e08084dc575028cc8aa17e113f789fc339ad29bf17e35eec24f65","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-17T15:25:44.925415Z","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:30108d7a73042a47dffd4169f60f07943ccdef9572942e62cfd02571c11f921f","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.14181","last_updated":"2025-08-19T18:13:02Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-17T15:25:44.925415Z","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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 100 of 101 outbound references and 0 inbound Pith citation observations for arXiv:2508.14181."}