{"as_of":"2026-08-13T12:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e47884f6f4933edadf9f901116f5192870f73512ff50aa4e31eb6c4c28f8391f","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:17:40.141741Z","state":"measured"},{"denominator":13,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":13,"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.14373/citation-record","integrity":"/paper/2411.14373/integrity","json":"/paper/2411.14373/citation-record.json","paper":"/paper/2411.14373"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:40.074572Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.074572Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:1c77f177ec1ce8257e89346510caa224a5ee8f18f94f076e90cfd7a300040bf7","observation_id":"182ec665-fd63-40c7-bd20-27c5f40a7ff6","resolution":{"observed_at":"2026-08-12T15:17:40.074572Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:40.079987Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.079987Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:d08bacee073cebad4676ca9df6e407d4b5333a2ec888e978cf250893a4f94d7e","observation_id":"6829ce68-fa8a-46e8-9334-198415599dcc","resolution":{"observed_at":"2026-08-12T15:17:40.079987Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jestch.2019.01.006","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:40.283469Z","title":"Alcácer & V","venue":null,"work_id":"3a9d173a-4d8d-4e5c-9595-1e020d253f38","year":2019},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.085445Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:4f43574b4fef3c32458aa9d803ba5f8ac61d455d07f35055cfbb21edcf85eb6f","observation_id":"48099381-cee6-4f32-a399-fa97bbd5f523","resolution":{"observed_at":"2026-08-12T15:17:40.289017Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:40.096471Z","title":"7227–7232","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.096471Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:ab3ed6e5e5d9d594fa77f66f91c9757928cc4b2d488a2033b7491f5e36ec746f","observation_id":"7077b684-0390-4649-a9f8-de681a803f97","resolution":{"observed_at":"2026-08-12T15:17:40.096471Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-43681-9_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":null,"venue":"Lecture notes in computer science","work_id":"1cc2f2da-2d9b-4407-af4a-f7fca21d0f0e","year":2023},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.101079Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:b4efc2ad1bc6e82c3c4a442f3a6076d92a245300393de2f124bef074b95cd338","observation_id":"df1738b1-5359-4eec-90b1-5182a680ee57","resolution":{"observed_at":"2026-08-12T15:17:40.272373Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:40.107009Z","title":"Moore, Qingzhou Luo, Aravind Sundaresan & Grigore Rosu (2014): ROSRV: Runtime Verification for Robots","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.107009Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:84f5934f93073f44225468641ba001b14f72e677f5925189384015062ddf1ddc","observation_id":"d0a7fad1-b4a8-4939-ac56-dfbb1a6fa38f","resolution":{"observed_at":"2026-08-12T15:17:40.107009Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.07770","last_updated":"2025-02-21T13:30:29Z","snapshot_observed_at":"2026-08-13T00:55:56.396606Z","submitted_at":"2024-03-12T15:56:53Z","title":"PROSKILL: A formal skill language for acting in robotics","version":2},"cited_work":{"arxiv_id":"2403.07770","doi":"10.48550/arxiv.2403.07770","metadata_source":"pith","pith_arxiv_id":"2403.07770","snapshot_observed_at":"2026-08-12T18:16:22.223912Z","title":"PROSKILL: A formal skill language for acting in robotics","venue":"cs.RO","work_id":"a95d2372-3c6e-4fa2-9983-d8f999a11249","year":2024},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.112258Z"},"links":{"cited_paper":"/paper/2403.07770","citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:f7ac15fd0ecd24903479f9c0ff72661b59247b21be5d4ee1b44f420ce00d5ecd","observation_id":"5ead4b6f-cfd7-4bea-bf55-dd6540b3f80c","resolution":{"observed_at":"2026-08-12T15:17:40.245376Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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":"10.3390/robotics7030032","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:40.218386Z","title":"Robotics 7(3), p","venue":null,"work_id":"5b41ed94-dc10-4f25-b43c-187f0f4b9bb9","year":2018},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.117590Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:b042fc6dada5e9c7aca3c43b2d970792d70f2e589b77162064e8dab5c66359ee","observation_id":"b6eadfe8-5a6b-4591-a868-1bfd04c4e88e","resolution":{"observed_at":"2026-08-12T15:17:40.223543Z","resolver_source":"doi","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":"10.1016/j.rcim.2015.04.002","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:40.202028Z","title":"Robotics and Computer-Integrated Manufacturing 37, pp","venue":null,"work_id":"35ef12df-4d65-41fd-bd33-bbb8b648d180","year":2016},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.122371Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:427623c6c0fe4472496d9a10bed5156e9b2806f5cac0e6b46642d69fffe2d9df","observation_id":"ef73726f-19f6-4ba0-b189-3e44784dc08c","resolution":{"observed_at":"2026-08-12T15:17:40.206940Z","resolver_source":"doi","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":"10.4204/eptcs.371.9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:40.644552Z","title":null,"venue":null,"work_id":"93e864ea-0209-4ece-925c-5c4baf0a4240","year":2022},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.127250Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:f83bba4cd7e77607f397ceb0bd06722e1be5340a0a0fb6038b81b62abfa67ded","observation_id":"0adac72a-3454-4584-ab78-1baea1ae20ef","resolution":{"observed_at":"2026-08-12T15:17:40.649213Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:40.132050Z","title":"In: IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023 , IEEE, pp","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.132050Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:c6bbd946d1932921ff0781968f22991877bb5031db699eab7fec6c3ab9469523","observation_id":"4ed1a9fb-dcd0-4b24-90b5-a4f6ea408c4b","resolution":{"observed_at":"2026-08-12T15:17:40.132050Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:40.137000Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.137000Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:a9edbfd819809ce813744e7771a757128d58a958ca80173dbc2ea8cd7800aa0e","observation_id":"7552eb3f-5c52-4836-aa94-937976836081","resolution":{"observed_at":"2026-08-12T15:17:40.137000Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.rcim.2018.03.008","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:40.173099Z","title":"Robotics and Computer-Integrated Man- ufacturing 53, pp","venue":null,"work_id":"a88c1739-1b2a-44af-9e34-925634013fb5","year":2018},"citing_paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:17:40.141741Z"},"links":{"citing_paper":"/paper/2411.14373"},"observation_digest":"sha256:75967a777446b193c34805a8cae95247da977036f78889ec7016e9363daf0e4e","observation_id":"fdcbf9ab-12b9-43e1-9c54-d996f344092c","resolution":{"observed_at":"2026-08-12T15:17:40.179760Z","resolver_source":"doi","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"}}],"paper":{"arxiv_id":"2411.14373","last_updated":"2024-11-21T18:08:49Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-13T08:27:18.606363Z","submitted_at":"2024-11-21T18:08:49Z","title":"Cross--layer Formal Verification of Robotic Systems"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":6,"verified_exact":6,"verified_fuzzy":0},"total_outbound_references":13},"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 13 of 13 outbound references and 0 inbound Pith citation observations for arXiv:2411.14373."}