{"as_of":"2026-08-13T08:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ffe7bbbee9afb5c09348c9c9ea1b97944961ef8ef1e719872e32c3c6cd2241ec","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T16:55:20.013991Z","state":"measured"},{"denominator":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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.13614/citation-record","integrity":"/paper/2411.13614/integrity","json":"/paper/2411.13614/citation-record.json","paper":"/paper/2411.13614"},"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-12T16:55:20.651821Z","title":"Developing and managing embedded systems and products: methods, techniques, tools, processes, and teamwork","venue":null,"work_id":"c36db1b5-01c2-4ead-81d1-61b4827f1d80","year":2014},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.862939Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:9477e943f643f870aa1396a736481fa9c0acddacad9f92aabc41b50b5fafc878","observation_id":"2b988d84-4c71-4095-9220-3984a2229afc","resolution":{"observed_at":"2026-08-12T16:55:20.659031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.623022Z","title":"best single template","venue":null,"work_id":"200553a4-2651-45ce-9dce-f5fd4c78f533","year":2019},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.871699Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:9c2bf353e0aae5aab257e68accc09db36020e3e19acfc8dc1e2f4a256e42de82","observation_id":"83c7f276-198a-4d60-89b0-5a8008df4776","resolution":{"observed_at":"2026-08-12T16:55:20.629948Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.595100Z","title":"Design and Development of Automotive Do- main Needs Using Rhapsody Model Manager","venue":null,"work_id":"61ae8efd-aad9-4280-a5cb-84dc07b3f9e3","year":2023},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.883492Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:e37e33eebfb69e52a34c9285a8be6002e205a0927036ed83255b8b371dd8b482","observation_id":"ff465d7e-6d7f-42c9-8ad2-ca3966a28626","resolution":{"observed_at":"2026-08-12T16:55:20.605051Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.565885Z","title":"ISO 26262 Compliant Automatic Requirements-Based Testing for TargetLink","venue":null,"work_id":"002e6e93-0142-4a62-92ec-0f4c2e9c1172","year":2012},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.890040Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:d6d1def30816bbfd68aa4b7b9ca24130a43519a75d8544967af188973fa64ffb","observation_id":"b223a725-bfd2-45fa-9c22-96cc8862d462","resolution":{"observed_at":"2026-08-12T16:55:20.573910Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1907.09052","last_updated":"2019-07-21T23:31:10Z","snapshot_observed_at":"2026-08-01T20:36:15.798072Z","submitted_at":"2019-07-21T23:31:10Z","title":"Hardware-In-the-Loop for Connected Automated Vehicles Testing in Real Traffic","version":1},"cited_work":{"arxiv_id":"1907.09052","doi":null,"metadata_source":"pith","pith_arxiv_id":"1907.09052","snapshot_observed_at":"2026-08-12T16:55:20.197290Z","title":"Hardware-In-the-Loop for Connected Automated Vehicles Testing in Real Traffic","venue":"cs.RO","work_id":"b663ed2c-0718-49f9-883c-5495246cc68c","year":2019},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.903160Z"},"links":{"cited_paper":"/paper/1907.09052","citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:eaab421b599dbb00c3a0504eba6cacb68daf4b3485e336f7055e991f82e723d6","observation_id":"8ec8a364-39d9-4927-8aa8-2291506c610d","resolution":{"observed_at":"2026-08-12T16:55:20.208387Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.532078Z","title":"Compute solution for tesla’s full self-driving computer","venue":null,"work_id":"b776cfb3-1f3c-4560-92e2-873ec2be50aa","year":2020},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.921047Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:853463650355467208ad8a4163d054848b237f23e9ce820c0f5071f316ca0610","observation_id":"82620d21-b11b-4d26-8d33-d0e055c40087","resolution":{"observed_at":"2026-08-12T16:55:20.543070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.500821Z","title":"Operational design domain for automated driving systems","venue":null,"work_id":"e5b399f5-25ae-4570-83bf-66695a2f8ab4","year":2018},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.934431Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:7155e2df043be31b35755ab6ddbe12a45073458521a066e31d5e2eba5ffa869e","observation_id":"a103cd3e-c1a5-4683-99e9-f03917a5ec99","resolution":{"observed_at":"2026-08-12T16:55:20.512774Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.472202Z","title":"Heuristic approach for real-time multi- agent trajectory planning under uncertainty","venue":null,"work_id":"dd4c9365-4c8a-4fd1-b86f-590fbc3b76f1","year":2019},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.950223Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:5bb6079e57c25635bda178d1df0276110ad3bebc719ff4110afb98e68e885546","observation_id":"52b680b6-4b39-4282-9122-f444821127f5","resolution":{"observed_at":"2026-08-12T16:55:20.479755Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.440940Z","title":"Camera calibration","venue":null,"work_id":"dc721474-4369-4218-8a9a-e63fed157a13","year":2023},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.957167Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:6dcf4416c6017824fc19b4d0c8fc98c8bfb91b2ce0d634daf11bca224aefde69","observation_id":"dabf0722-c36a-4416-9bad-ee26fe6d0989","resolution":{"observed_at":"2026-08-12T16:55:20.449569Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.407842Z","title":"Vehicle-in-the-loop (VIL) and scenario-in-the-loop (SCIL) automotive simulation concepts from the perspectives of traffic simulation and traffic control","venue":null,"work_id":"346ea801-9d61-4bf0-a460-d20df19bf7bf","year":2019},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.966677Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:0d638279167335cc6a013363131d6f1706952759f9ade00d7af827c99f3062ab","observation_id":"62b8da7a-6834-4e29-9097-68908a91da80","resolution":{"observed_at":"2026-08-12T16:55:20.421710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.371809Z","title":"An Indoor Rapid Testing Platform for Autonomous Vehicles Using Vehicle-in-the- Loop Simulation","venue":null,"work_id":"0c0ea831-b64d-47e1-913c-be7c615b4ddb","year":2020},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.974662Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:d5b6cd4525aee5a0bbd8bc12db6bbd7071dbdb5565936f4d114c8ec17a822be9","observation_id":"501c9034-9f51-40c1-a2a3-46d7e192f91e","resolution":{"observed_at":"2026-08-12T16:55:20.379856Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.345206Z","title":"The SIL data acquisition system—at present and beyond year 2000","venue":null,"work_id":"fa7d551b-24d1-40b3-97d8-84bc97fb8993","year":2000},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.980568Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:c76776b74ccc2a347a68311723283aa2654c0587867535f7abf4e33025c94e27","observation_id":"e3d04aaa-70f8-4254-83f3-b2fa9a54ac60","resolution":{"observed_at":"2026-08-12T16:55:20.355534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.311330Z","title":"Hardware-in-the- loop (hil) simulation technique for an automotive electronics course","venue":null,"work_id":"b9c01c12-2bb9-4e62-ae6e-61e85e55cb89","year":2020},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.987709Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:f93dcbefb497413aeedf7b0f6ffb79680772fa3c69f53b05cf5f4d15669c1086","observation_id":"33e8396f-5942-4447-b0a6-8f073aa8285b","resolution":{"observed_at":"2026-08-12T16:55:20.316725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.261524Z","title":"Functional safety and proof of compliance","venue":null,"work_id":"3799e63c-455c-451f-bbe5-caa444977a61","year":2021},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:19.996659Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:29aab70a886050c06f48a8350a7cab0cd0e207da528efcb7887930b9fb31058c","observation_id":"863ab9cb-e64f-48fd-adb9-96f91e4573e8","resolution":{"observed_at":"2026-08-12T16:55:20.273382Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.227698Z","title":"Development of an energy efficient and cost effective autonomous vehicle research platform","venue":null,"work_id":"73abfeed-08fa-4b52-a27b-543c03bf55c8","year":2022},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:20.006952Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:21dbfb37ecd3841c237284b0ac809aad78fc87e8309f686e2842e9808f2cd183","observation_id":"130c74b0-2de9-40b1-bea0-e4b81d4ad859","resolution":{"observed_at":"2026-08-12T16:55:20.234910Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:55:20.013991Z","title":"(https://www.sciencedirect.com/science/article/pii/S0965856423002847)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T16:55:20.013991Z"},"links":{"citing_paper":"/paper/2411.13614"},"observation_digest":"sha256:57b0725217c1b5ad11de041a5be02526a4775720b807c49052b43fa84d85cd0f","observation_id":"b233bb09-6e1f-4d72-a252-e40aee295b8c","resolution":{"observed_at":"2026-08-12T16:55:20.013991Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.13614","last_updated":"2024-11-20T05:36:22Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-13T02:16:12.771476Z","submitted_at":"2024-11-20T05:36:22Z","title":"Verification and Validation of Autonomous Systems"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":1,"verified_fuzzy":14},"total_outbound_references":16},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2411.13614."}