{"as_of":"2026-08-19T21:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:489b3af8e30f7fe79559806ca73b397d2e5d44a4795cba97a6bf0797298dd09c","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:30:29.364106Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+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/2411.14155/citation-record","integrity":"/paper/2411.14155/integrity","json":"/paper/2411.14155/citation-record.json","paper":"/paper/2411.14155"},"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-12T15:30:29.566226Z","title":"Testing, validation, and verification of robotic and autonomous systems: A systematic review,","venue":null,"work_id":"88477d9d-5ab9-430c-9468-ea9ddc059071","year":2023},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.309042Z"},"links":{"citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:5c0f7a69e7e5d07056ed507ad809fe6990fc8e25fc890aac312f05608bf6b56c","observation_id":"4d592283-fd79-4793-87e5-dbc71f068732","resolution":{"observed_at":"2026-08-12T15:30:29.571147Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-12T15:30:29.551265Z","title":"Autonomy verification & validation roadmap and vision 2045,","venue":null,"work_id":"e6737556-cb8f-4925-b6b0-69c41393e854","year":2023},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.314815Z"},"links":{"citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:898c9f0e580f77347eee3b29fe678807059d883f3b1948bb565b57bbe4c280c1","observation_id":"b0a6d3d3-5517-4bdb-8e22-a08d90c9d70d","resolution":{"observed_at":"2026-08-12T15:30:29.555749Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-12T15:30:29.539020Z","title":"A roadmap toward the resilient internet of things for cyber- physical systems,","venue":null,"work_id":"1f532c51-18c5-4201-bec7-cff6d7feea18","year":2019},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.319022Z"},"links":{"citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:76b67a7be8c14a9c23068c39771fd5011d7cdd80aa73855063ceb9460842a324","observation_id":"8bc7e509-bae9-4e23-a663-3b629e0397e9","resolution":{"observed_at":"2026-08-12T15:30:29.543057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2010.14443","last_updated":"2020-10-27T17:00:01Z","snapshot_observed_at":"2026-08-16T19:10:11.666132Z","submitted_at":"2020-10-27T17:00:01Z","title":"Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2010.14443","snapshot_observed_at":"2026-08-12T15:30:29.324446Z","title":"Assured autonomy: Path toward living with autonomous systems we can trust,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.324446Z"},"links":{"cited_paper":"/paper/2010.14443","citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:f15140565fd918477b4e9daf9ef301e75bd6a02488c2ed7100859e69800a7d1e","observation_id":"b38f978b-38d5-40eb-ae7e-923f86b87cd1","resolution":{"observed_at":"2026-08-12T15:30:29.324446Z","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-12T15:30:29.526707Z","title":null,"venue":null,"work_id":"96f88499-3397-443c-addc-c98499fac14f","year":2023},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.329066Z"},"links":{"citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:5407d91644ad8ed46c47d59bb298787ac7789c8d3edd761b13abba7ef914d24d","observation_id":"8138bd8a-0300-4946-a3af-f135518eb7ae","resolution":{"observed_at":"2026-08-12T15:30:29.531401Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-12T15:30:29.513423Z","title":"IEEE standard for system, software, and hardware verification and validation,","venue":null,"work_id":"55faed68-d222-482f-9982-3e29f0ba9ea5","year":2016},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.334078Z"},"links":{"citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:9854abcaa0ba783e7a2ec607df756a04ead9ade21f1c100b948badec6538bd59","observation_id":"1945da10-da65-4d7d-bbd5-ed5b9bcb94ba","resolution":{"observed_at":"2026-08-12T15:30:29.518144Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-12T15:30:29.496580Z","title":"Toward verified artificial intelligence,","venue":null,"work_id":"50c4aa6f-5e52-46c1-bfc8-d2a45591540d","year":2022},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.338835Z"},"links":{"citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:72a99b5bde1d6c7d3835f6ae3b9b66716344892fcadfdc75cb38cd52bb2e2364","observation_id":"57ddeffe-7278-44a6-8ee4-760285b01d3d","resolution":{"observed_at":"2026-08-12T15:30:29.501022Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-12T15:30:29.480823Z","title":"Braitenberg, Vehicles: Experiments in synthetic psychology","venue":null,"work_id":"f71d2208-8a96-41a2-8e15-a17335ff3640","year":1986},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.343428Z"},"links":{"citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:d855a6e697e7f3b190b79d5026815aed8e405ec88399669f223b255788137655","observation_id":"268a4643-94d0-42f6-836f-a63da7588351","resolution":{"observed_at":"2026-08-12T15:30:29.486785Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-12T15:30:29.457847Z","title":"Formal ver- ification of ethical choices in autonomous systems,","venue":null,"work_id":"2cec01d6-e7da-4a33-979b-19aaac5dfc94","year":2016},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.349987Z"},"links":{"citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:b1f70dd0b3819fc6e4a042f22ba2549be30a61a04ea6513840e8db46b45a9b77","observation_id":"25da6fbb-4310-4e93-82f7-7d1b1c5d7da5","resolution":{"observed_at":"2026-08-12T15:30:29.463715Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1708.06374","last_updated":"2018-10-27T09:10:37Z","snapshot_observed_at":"2026-08-14T20:40:10.021267Z","submitted_at":"2017-08-21T18:22:19Z","title":"On a Formal Model of Safe and Scalable Self-driving Cars","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1708.06374","snapshot_observed_at":"2026-08-12T15:30:29.353821Z","title":"On a formal model of safe and scalable self-driving cars,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.353821Z"},"links":{"cited_paper":"/paper/1708.06374","citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:a55876e01ca41af14f383a3f45a82c9378a744397af4f2b4e988dcc3fb68137c","observation_id":"47a40af5-aad1-4e34-9648-156571229feb","resolution":{"observed_at":"2026-08-12T15:30:29.353821Z","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-12T15:30:29.439190Z","title":"Society of Automotive Engineers, April 2021","venue":null,"work_id":"0ad6de6e-96e6-4a54-8fc4-ff8ad4f6ccc6","year":2021},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.358448Z"},"links":{"citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:c622d631cad03db1961b5feb02be907aa83c875b0a86f6519f95fd49362e5e3e","observation_id":"b6897c3f-368f-4270-8952-2fd872d07824","resolution":{"observed_at":"2026-08-12T15:30:29.443399Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-12T15:30:29.424387Z","title":"Dynamic assurance cases: a pathway to trusted autonomy,","venue":null,"work_id":"6bec1185-e04b-4879-a1c2-3eeb38d9abc4","year":2020},"citing_paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:30:29.364106Z"},"links":{"citing_paper":"/paper/2411.14155"},"observation_digest":"sha256:43e3e5c1d1d647ad24bb23a2941ed9afacee1942e6a2d1aeb1281a2a6c8ff574","observation_id":"58d958b8-680e-4b36-ad1e-78f19cac3ac4","resolution":{"observed_at":"2026-08-12T15:30:29.430799Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14155","last_updated":"2024-11-21T14:18:37Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-18T08:20:09.483430Z","submitted_at":"2024-11-21T14:18:37Z","title":"Grand Challenges in the Verification of Autonomous Systems"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":9},"total_outbound_references":12},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2411.14155."}