{"as_of":"2026-08-10T09:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4826674f7d2322c731e9c3706db0eedb67b6d3ba911ab77afea8a2b7920aa9e6","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:56:08.661821Z","state":"measured"},{"denominator":23,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":23,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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/2507.12158/citation-record","integrity":"/paper/2507.12158/integrity","json":"/paper/2507.12158/citation-record.json","paper":"/paper/2507.12158"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:56:12.549085Z","title":"Autonomous ground vehicles: technolog- ical advancements, implementation challenges, and future directions,","venue":null,"work_id":"5c11f25d-bca4-46ae-a851-55f800ecc235","year":2025},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:06.785301Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:05440421a568c8f5879e4200286aeab6bff2bb84980abca578730de7036a5d81","observation_id":"c8a0588a-d0fc-4f05-b672-520a1d5e0daa","resolution":{"observed_at":"2026-08-06T16:56:12.712272Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:12.269665Z","title":"Situation coverage–a coverage criterion for testing autonomous robots,","venue":null,"work_id":"e08465a6-f1f6-418c-b6e0-263fd9b447ee","year":2015},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:06.841281Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:387f4f92219efe389f2b1bfb04d499abd66f39a16b4c12606cc8f117cb98fcc9","observation_id":"1d764488-9a84-4d91-8cf2-244c6f4c6b0b","resolution":{"observed_at":"2026-08-06T16:56:12.395437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:11.888771Z","title":"Adversarial examples in the physical world,","venue":null,"work_id":"bb8e912b-0e9b-41e5-9df2-285838878410","year":2018},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:06.913300Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:e458910e6ea872b3d1ef5cdbd05996995f32f54e8caa4e03da827c3595795c56","observation_id":"fbb30d53-b038-452c-8c80-7227c95b1c72","resolution":{"observed_at":"2026-08-06T16:56:12.083386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:11.770325Z","title":"Deepxplore: Automated whitebox testing of deep learning systems,","venue":null,"work_id":"1d579717-be4f-4e75-ad30-1b8a554ccda7","year":2017},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:06.990701Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:6180c1b49c7221253f321804b424905f1b6ea7ede1b69e1c4f0094a87abf9a5b","observation_id":"b6e16edb-7434-4060-a891-e67337e9dce5","resolution":{"observed_at":"2026-08-06T16:56:11.835999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:11.441247Z","title":"Deeptest: Automated testing of deep-neural-network-driven autonomous cars,","venue":null,"work_id":"4db14b72-f304-4e6c-ab49-9ea62ce85e34","year":2018},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.050821Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:ab22a7a579622be9d98c68d6b8bb54ef22a6edb22e2a2ab777f2bea3b8aca167","observation_id":"86df1d3d-d6eb-479d-bd05-9d2a7f074243","resolution":{"observed_at":"2026-08-06T16:56:11.614233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:11.238537Z","title":"Defining and substantiating the terms scene, situation, and scenario for automated driving,","venue":null,"work_id":"951e3d62-baca-41bd-a034-0a255e0137b1","year":2015},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.103922Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:b61039ef25a6757d12f85faae9878f7aa75f496829d0dd9ddaac986670ce16df","observation_id":"c2cd49d5-7ff7-447c-b16b-49e8d7db7f13","resolution":{"observed_at":"2026-08-06T16:56:11.346590Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:11.006060Z","title":"Testing vision- based control systems using learnable evolutionary algorithms,","venue":null,"work_id":"454fcb63-4162-4d72-8436-ccbdb2c30cad","year":2018},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.167014Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:b9aadaa914ffdcdc35cc9afcef89ce76241d8f7c5727909bfc85d723e6971202","observation_id":"887a8520-1bcd-4a13-806a-9e1694172bbe","resolution":{"observed_at":"2026-08-06T16:56:11.099531Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:10.816768Z","title":"Environment modeling and simulation for automated testing of soft real-time embedded software,","venue":null,"work_id":"41ba4259-fd89-494e-97da-a8193a4d6dfe","year":2015},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.244277Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:a24a5ef90f1c9458d4677dcc26e4321bc33979af74dbe0e68586776e0bf5a72b","observation_id":"25ddb1d9-b8cd-4922-b645-915d04dc11ec","resolution":{"observed_at":"2026-08-06T16:56:10.902906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1911.06501","last_updated":"2019-11-15T08:02:19Z","snapshot_observed_at":"2026-07-06T08:37:14.635187Z","submitted_at":"2019-11-15T08:02:19Z","title":"Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study","version":1},"cited_work":{"arxiv_id":"1911.06501","doi":null,"metadata_source":"pith","pith_arxiv_id":"1911.06501","snapshot_observed_at":"2026-08-06T16:56:08.881988Z","title":"Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study","venue":"cs.SE","work_id":"f3f223d2-3f20-4a9c-96f9-a6190fc74318","year":2019},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.327553Z"},"links":{"cited_paper":"/paper/1911.06501","citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:43b7e20130a2089291fc61b2f1431264d1259f941ff89e341c14ec3de8a28db4","observation_id":"3ef9b15e-7a77-4f99-b236-da3ff9812703","resolution":{"observed_at":"2026-08-06T16:56:08.932523Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:10.637874Z","title":"Intersection focused situation coverage- based verification and validation framework for autonomous vehicles implemented in carla,","venue":null,"work_id":"1d5d782a-2050-4357-8573-5437382c06ff","year":2021},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.389958Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:76a0c32bfd6e1832c9a8436be8ec57921aad6a5aeacd414d967a585ca0ae413f","observation_id":"fb13d3af-8e16-4bce-be40-4eeed72b0caf","resolution":{"observed_at":"2026-08-06T16:56:10.732327Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:10.488694Z","title":"Systematic situation coverage versus random situation coverage for safety testing in an autonomous car simulation,","venue":null,"work_id":"16d6ba79-4af3-4e54-bcb2-e1f17199cd1a","year":2023},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.480226Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:eb82cd7c9bebfb3545cf55f3fd2de6384fb76c6c775978e6d9de70f0cda86fe9","observation_id":"676fb6dc-855e-44c9-abc4-32824e72f106","resolution":{"observed_at":"2026-08-06T16:56:10.552692Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:10.307490Z","title":"Situation coverage based safety analysis of an autonomous aerial drone in a mine environment,","venue":null,"work_id":"effe2dec-4e2c-43ca-8daf-2e05f3eb689a","year":2024},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.542524Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:ad779063b8181f2b25c8a201184ef4ce3612b6a7986b79e10c7928984e9796ba","observation_id":"a001870c-9193-49e8-863d-40b5c64e8d15","resolution":{"observed_at":"2026-08-06T16:56:10.427933Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.20969","snapshot_observed_at":"2026-08-06T16:56:07.665076Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Au- tonomous Aerial Drone in a Mine Environment,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.665076Z"},"links":{"cited_paper":"/paper/2505.20969","citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:b1427c9e7aa7e2b34693312f87b52c0dabfaab8775399bff6e9c007ceb820638","observation_id":"b720539e-1490-469b-9aa6-0da1496ce98c","resolution":{"observed_at":"2026-08-06T16:56:07.665076Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2208.00853","last_updated":"2026-08-03T12:27:00Z","snapshot_observed_at":"2026-08-06T23:27:23.922404Z","submitted_at":"2022-08-01T13:41:03Z","title":"Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2208.00853","snapshot_observed_at":"2026-08-06T16:56:07.823456Z","title":"Guidance on the safety assurance of autonomous systems in complex environments (sace),","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.823456Z"},"links":{"cited_paper":"/paper/2208.00853","citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:f91590228ec5efa7abca7c93ce48d3ddb6240eeec9a6989819c0bc778281cc18","observation_id":"2715f398-5160-4d84-a003-6f46f71b0a56","resolution":{"observed_at":"2026-08-06T16:56:07.823456Z","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-06T16:56:10.184511Z","title":"Hazard and safety anal- ysis of machine-learning-based perception capabilities in autonomous vehicles,","venue":null,"work_id":"ccda4dc2-b356-423d-adb1-82690dcc75b7","year":2024},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.912197Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:10ba3736f72bf0777e92b42c823c4f18cc432635b8097c50c5cf192d397c8b63","observation_id":"5d65714e-fa7b-425f-8032-1ff3f3086187","resolution":{"observed_at":"2026-08-06T16:56:10.240382Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:10.027017Z","title":"On probabilistic computation tree logic,","venue":null,"work_id":"60e6adcc-ecbf-49eb-b100-545738ce51db","year":2004},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:08.003344Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:37eff4dbcfbb09090ca44b0557a2d56bae36c3cc8527d88009c0ddce581cb55f","observation_id":"0498dbb3-7b25-4584-8c08-5da96b37ba5d","resolution":{"observed_at":"2026-08-06T16:56:10.090079Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:09.879445Z","title":"Probabilistic model checking and autonomy,","venue":null,"work_id":"c91dd825-3532-4c67-bc27-19ec5c2df937","year":2022},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:08.139867Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:86ce808dd6ca7c7b6d868d2a305087861c12ad4710d82f895488e22109073355","observation_id":"c019edf1-d05b-4777-be8e-c093acd16ec3","resolution":{"observed_at":"2026-08-06T16:56:09.953351Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:09.736381Z","title":"Prism 4.0: Verification of probabilistic real-time systems,","venue":null,"work_id":"8ad07be4-86d6-468a-84ff-b0a1689ff23f","year":2011},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:08.249435Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:167fb4b6604c1929ff6987dffc11b3ae10d6e0b662c9d42e825f816a3e8cd8e3","observation_id":"f0c98b48-9e42-4401-a918-1d84d9c077bd","resolution":{"observed_at":"2026-08-06T16:56:09.799691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.01139","last_updated":"2025-07-30T07:19:28Z","snapshot_observed_at":"2026-08-08T19:38:46.599177Z","submitted_at":"2024-09-02T10:20:01Z","title":"Coverage Metrics for a Scenario Database for the Scenario-Based Assessment of Automated Driving Systems","version":2},"cited_work":{"arxiv_id":"2409.01139","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.01139","snapshot_observed_at":"2026-08-06T16:56:08.754188Z","title":"Coverage Metrics for a Scenario Database for the Scenario-Based Assessment of Automated Driving Systems","venue":"cs.RO","work_id":"de9ffb10-5054-41bf-937d-9624cbfd93c1","year":2024},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:08.330541Z"},"links":{"cited_paper":"/paper/2409.01139","citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:468987f46eee0d81d0006677fb0623992189761ee3103f8462deda41f0cba33c","observation_id":"41f36360-1c27-4bab-b957-0cb09fddb013","resolution":{"observed_at":"2026-08-06T16:56:08.802161Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:09.572121Z","title":"Road vehicles — test scenarios for automated driving systems — scenario categorization,","venue":null,"work_id":"8a053f89-7341-4c29-bcf9-c00958cd1716","year":2024},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:08.430662Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:7571a23d389477b69b3d618be8406f074ab6875e5bafbc0d69b3270f6bfa7f69","observation_id":"137e5c1f-dea9-4360-8f87-988cac7a076a","resolution":{"observed_at":"2026-08-06T16:56:09.658163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:09.409939Z","title":"Probabilistic Safety Verification: A situation coverage grid approach","venue":null,"work_id":"b2e03bac-8cae-4b44-84f7-b9dac57091f4","year":2025},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:08.546512Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:a2852ffc435bf64f2efce314a468aba6244da3bb1fa3520dc13e41ed5356a114","observation_id":"acce9b00-e2ff-446b-a2f5-44632f5837f8","resolution":{"observed_at":"2026-08-06T16:56:09.475296Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:09.248877Z","title":"The probabilistic model checker storm,","venue":null,"work_id":"78104ad6-b898-433f-b182-9291869ae4d1","year":2022},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:08.606791Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:b4207629487a68a49c7f2cabc8232a2765b4895a5d814b84ccc960f4ece77739","observation_id":"d3e6ecb8-fd6d-4572-b811-68e3db40dc70","resolution":{"observed_at":"2026-08-06T16:56:09.292568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T16:56:09.034543Z","title":"IEC 61508:2010 – Func- tional safety of electrical/electronic/programmable electronic safety- related systems","venue":null,"work_id":"a767ce6b-12a9-4c6b-8373-857ed5437152","year":2010},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:08.661821Z"},"links":{"citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:13f1cb900c729a149a5c82cf5944ca2f2e83a258b45468df9460ae4de9788a8d","observation_id":"67101e41-689f-4745-bc2d-80d1f7a55863","resolution":{"observed_at":"2026-08-06T16:56:09.129486Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":2,"verified_fuzzy":19},"total_outbound_references":23},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2507.12158."}