{"as_of":"2026-08-08T16:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5098019e90f259f0e8e33dac0f73bfb64a2e1519927de305e24b6cb4f6adbdb1","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-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/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-06T16:50:08.207146Z","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:0ee1a5e4068cc484dd10c2a94fc40dab68a2de1fa7db63522f02c867c57b6bf0","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:8a43ed3ae66dcec929aeaf774f5ea4850d7466b25cc8778de012ef785feaca28","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:20265c8162706b5b9df510057686758444a28100ba5c98525a9d3ba9773a190a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:bb0551565404e49c15f87ac284231db2047a6b94759c34228118cd3e32f4fed0","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:e493e70b2162d41248b44e0ded2d2ddf0c6f7dd1f34b1ba4b7872a4c4935ff86","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:ee4c8f9ba1533878ac4275be69e1386665387e6bcfd44dfe2a47bdb3cc87ca8e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:d5263814949e902ab589dc493593c44e5dc1f61dc5e0b1e8a4c8d5bc0171bdfd","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:98cc79d118354e3a071126b9e01497a696eaec6782205f8d48808bb7439df7d9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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-06T16:50:08.207146Z","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:6703ab319eadfbd33e7f7e399ce5f1e62c6f3860df51e7fd12e5db1a80a8e716","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:06d4d503ffd2a0e895a5ecc1ba7cbd0c0df36d0b3bbb4b0c00c0ba38555a9820","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:14a96259423a1a077174815c6b918db1c984120f8f15503805874dc9af3bc0a8","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:0bb848d0dbe5134d088fa35d25bd635279980df5be624a9bff7e3f8f3fd807b5","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-07T13:40:29.273389Z","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-06T16:50:08.207146Z","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:25cd112d50bd74f58d7a35032b1969c948568e0a351c6097b5a5aba6888b23c8","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-06T16:50:08.207146Z","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:2a5196ee1203346311d2369725b09dfc938be155bb9e4de6f43a7ee2a68bd6a9","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-06T16:50:08.207146Z","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:645fad5249b59daea8abd65821a92e95347f745cac60f1afafaaa3b101839069","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:0d8851330631fc0ec163c953abd1db554975c169915e8eeaed10a6efc3a65240","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:2514201b426eee7bf7ff3bedad8abd6b53a8eb5549629faca86d268adf14d48e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:42985da6e2998d256c5b50508014f7e76ff0e056ca7723dc233704d9fe69296c","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.01139","last_updated":"2025-07-30T07:19:28Z","snapshot_observed_at":"2026-07-06T19:09:14.628371Z","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-06T16:50:08.207146Z","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:7960617b9055021bb99295e6192064fc2d5e262b0baa2b807e1e7d644967371e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:673e5e96dada30f5784777ad57d93295229d90bd88e64bf6d35795195c691e06","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:3298bd240102522f1ff86d198c8ed84b9091d7fd68a8286e7d6959caf91b18c9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:b570ab1ebe533fa088c3b9edf435d570a04cad819b32c9eff5f49ac31f7d43bf","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-06T16:50:08.207146Z","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:fa8e540a83c987330657e0b567148fd4b38e73a7c0e53994b2bb908819c303be","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-06T16:50:08.207146Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2507.12158."}