{"as_of":"2026-08-13T00:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c0ff6e9368f8ec81162882639d6b3420856ef8aa19def1fc45e3b99110ac8a7f","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:19:58.374435Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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.14369/citation-record","integrity":"/paper/2411.14369/integrity","json":"/paper/2411.14369/citation-record.json","paper":"/paper/2411.14369"},"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:19:59.031647Z","title":"MIT Press","venue":null,"work_id":"a4f2f4a8-6462-4f26-a0d5-7b6b1ad0c1cf","year":2008},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.246873Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:cb9770b7a7e8d2172fb1e5a67f93418d1015e2cf1fe98acf066dc38183617410","observation_id":"fc53bf1d-71b7-4a99-b2a0-a76110df78ca","resolution":{"observed_at":"2026-08-12T15:19:59.036750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:58.253773Z","title":"Baxter, P","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.253773Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:3d3954a77e11d155c222f1da2e713169544c895adfca919ce5cdbcac179b22a2","observation_id":"62ff8f43-efe8-4571-9bb5-1c7426a2a658","resolution":{"observed_at":"2026-08-12T15:19:58.253773Z","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:19:58.258441Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.258441Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:b8fbc3e86b00fda960d4a043ae34ab3825ceabb603450a4eeaa3fcf44d07d651","observation_id":"241d893d-8283-42da-8316-78ca95bda628","resolution":{"observed_at":"2026-08-12T15:19:58.258441Z","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-030-66494-7_9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:58.538512Z","title":"Springer International Publishing, doi:10.1007/978-3-030-66494-7_9","venue":null,"work_id":"73fe62ea-8be5-45cb-9a6b-78211803295b","year":2021},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.262963Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:b99bb0d424d1c496b4c1c066d18e438e3ea39e11d39f074d29fce9a0c8c8e44c","observation_id":"1089fdb4-135e-4b3a-8bdc-2f8d5b1ac6aa","resolution":{"observed_at":"2026-08-12T15:19:58.542591Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:58.267635Z","title":"In: Software Engineering for Robotics , Springer, doi:10.1007/978-3-030- 66494-7_9","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.267635Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:fc7e73f23eab58dc6286492be3255557c7c756b0399cd354fbf28e738b879018","observation_id":"273ffc09-47eb-421d-bf61-0d72bea35726","resolution":{"observed_at":"2026-08-12T15:19:58.267635Z","resolver_source":null,"status":"malformed_identifier"},"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:19:58.272618Z","title":"(2021):On the use of simulation in robotics: Oppor- tunities, challenges, and suggestions for moving forward","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.272618Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:ae566b3dc17bd2a8ff16bfc1d74b66ca5cdfd93c0b45aad5af1b2bbd61e92921","observation_id":"2adeffd6-d618-4339-9e0e-d5ed1f23a97a","resolution":{"observed_at":"2026-08-12T15:19:58.272618Z","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:19:58.278499Z","title":"Clarke (1997): Model checking","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.278499Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:fb5c8a995aaf1c7baf515f4e83bdd7e69fe880983544a925270950145ede4345","observation_id":"16a16fb7-40b8-42ab-8cd1-662e1e913742","resolution":{"observed_at":"2026-08-12T15:19:58.278499Z","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.1115/imece1996-0367","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:58.495161Z","title":"In: ASME international mechanical engineering congress and exposition , 15281, American Society of Mechanical Engineers, doi:10.1115/IMECE1996-0367","venue":null,"work_id":"ce893829-4320-4b4a-ae40-1ac55429ecc2","year":1996},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.283019Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:f3fd0310ebbb822f19e764d6de655d7003b670b9d6fd46cbc6577dd4759d321d","observation_id":"758e15c7-553b-4ae3-8f97-438c6c041f0e","resolution":{"observed_at":"2026-08-12T15:19:58.500373Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:59.016959Z","title":"Available at http://www.eclipse.org/","venue":null,"work_id":"a5b6cde7-5729-4072-bd3b-4a639d2c52e4","year":2024},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.287232Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:95c1e1f8bb016f7e231752969b35d0df6e02cc06f7d1b67435a8513b09589471","observation_id":"48fc62ba-34ef-4587-aca2-6f58cad7d4cc","resolution":{"observed_at":"2026-08-12T15:19:59.021620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:58.293358Z","title":"Roscoe (2014): FDR3 — A Modern Refinement Checker for CSP","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.293358Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:52c7d9c6a4ac3fe7fd3fce96b24ad1afaefcc5fe45c540e48726e3fd4741b4bc","observation_id":"10e22c56-f542-4135-a1c4-a61289646d23","resolution":{"observed_at":"2026-08-12T15:19:58.293358Z","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:19:58.298153Z","title":null,"venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.298153Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:799f0280f58637b13a557dca42df13d9480fee0dd88b7e8e08f783c7683437e3","observation_id":"c693139c-dedd-4199-b2b5-257ba32fe8c0","resolution":{"observed_at":"2026-08-12T15:19:58.298153Z","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.1186/s40712-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:58.467844Z","title":"International journal of mechanical and materials engineering10, doi:10.1186/s40712- 015-0042-y","venue":null,"work_id":"5b158cfb-0cca-4405-aab7-fb020764968b","year":2015},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.302569Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:c60dd20288b3b6366fc15d46c4eef1e7358f80b8036fac9ed08b1110d3c9cf48","observation_id":"0bc86a20-e1dd-40bc-9da9-ca45cdc851da","resolution":{"observed_at":"2026-08-12T15:19:58.473293Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:58.313419Z","title":"Software & Systems Modeling 18, doi:10.1007/s10270-018-00710-z","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.313419Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:9bb01c9018e92dc191fcde8f9fb4ddd1829e0037bbe3f433309cc4667ad7888a","observation_id":"270676a6-d1a7-4c3b-8e3d-eff61095d9e8","resolution":{"observed_at":"2026-08-12T15:19:58.313419Z","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:19:58.317714Z","title":"Anisi & Morten Mossige (2022): Safety assur- ance of an industrial robotic control system using hardware/software co-verification","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.317714Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:5589956303687c376e80309e9bb4e2cdbc34b5ea8d90510bd48690b935f43333","observation_id":"dd24c514-2670-41c5-96b3-a72058003f2a","resolution":{"observed_at":"2026-08-12T15:19:58.317714Z","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:19:59.001362Z","title":"Master’s thesis, Norwegian University of Life Sciences, Ås, Norway","venue":null,"work_id":"df83bc3e-2e29-4273-b84d-726df2f3aadf","year":2024},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.321979Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:d6cf0fd3fbb93efbc1687b5722e8ca99878554daea9035556978caa9cc1eb91e","observation_id":"9a398e34-74c9-4dea-b86c-3748b65e8470","resolution":{"observed_at":"2026-08-12T15:19:59.006309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:58.986190Z","title":"Available at https: //www.pioneer-robotics.no/cobot/intelliwelder/","venue":null,"work_id":"48b9fe61-132e-4d30-9c23-cb74738fb836","year":2024},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.326683Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:b9d05263b623f4f6d63e3add1f41046b4b0cded4b2fc9c4f42ca3f383837aa57","observation_id":"5dc25db9-23c7-4068-9f79-e57c684f090d","resolution":{"observed_at":"2026-08-12T15:19:58.991352Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/1-84628-191-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:58.442917Z","title":"Springer Science & Business Media, doi:10.1007/1-84628-191-1","venue":null,"work_id":"c37ccf04-d508-4598-8a19-9667518b059f","year":2006},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.331659Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:f7f03683c68f547c0104d2b19a971e8235c6e46b85fbcc9a4978de45f57ea866","observation_id":"972e3c69-b376-4603-8292-0c74c8280d8d","resolution":{"observed_at":"2026-08-12T15:19:58.448726Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2017.27081","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:58.730296Z","title":"IEEE Access 5, doi:10.1109/ACCESS.2017.2708127","venue":null,"work_id":"6ccb841c-b38c-4d61-9e85-7c525f0751a2","year":2017},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.336875Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:e54e8f24404e7d99ed7f6ba1152c3ad8dfe9434cef6bf32c8fd28d1f8617026f","observation_id":"160d6af5-9cf2-4cf7-a7ad-e64632c0039a","resolution":{"observed_at":"2026-08-12T15:19:58.737243Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/machines4040023","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:58.427244Z","title":"Pedroza Yanez & Luz M","venue":null,"work_id":"9e082da8-e492-45f3-954a-0e5ff3f9abaa","year":2016},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.341491Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:99a477244624320985960f8fdad88d984373d4b475af2e7896acf0b395209fbe","observation_id":"07cb1008-9694-43bc-8662-88fd3bb78d46","resolution":{"observed_at":"2026-08-12T15:19:58.431939Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:58.968491Z","title":"Available at https://thgautomation.com/2024/06/27/in-sync-the-benefits-of-coordinated-motion/","venue":null,"work_id":"857dd2d2-3a8f-44dd-9f7e-bfb6cc59d79a","year":2024},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.346687Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:4fa23d8ceeb4a334ed670b122ed46129415a349973676817ac1196020387c6f3","observation_id":"b10d8230-b731-455e-8935-ba0e1c9b89eb","resolution":{"observed_at":"2026-08-12T15:19:58.974065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:58.954272Z","title":"Available at https://www","venue":null,"work_id":"2a01328c-ee4f-4b89-b724-755302a968b0","year":2024},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.351046Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:b4429e747b8d8679d1ab0c252f3cf7e8801eda9776b953f20d7787d91bb08998","observation_id":"8eb10ecc-8a80-4d34-a8ff-56e1cf1f1513","resolution":{"observed_at":"2026-08-12T15:19:58.959393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:58.939596Z","title":"Avail- able at https://www.universal-robots.com/articles/ur/interface-communication/ real-time-data-exchange-rtde-guide/","venue":null,"work_id":"d4b15d67-ff36-4405-a853-0b917d9c5446","year":2024},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.355238Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:37e397cb1740b160873a4660821d35d8506d16f894f4e1cb28f8e8a7204cfcbb","observation_id":"d9037d2c-53ac-4f3d-8294-79653f040418","resolution":{"observed_at":"2026-08-12T15:19:58.945040Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:58.924309Z","title":"Avail- able at https://www.universal-robots.com/download/manuals-e-seriesur20ur30/user/ur10e/ 59/user-manual-ur10e-e-series-sw-59-english-international-en/","venue":null,"work_id":"b4f9653c-6e26-42cf-9d15-fc1850ded26a","year":2024},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.359410Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:a0d67c54111e04eaa4d2b98a30091856642d58a11ae781320793ee192b0a20f6","observation_id":"32a67c85-3fb4-4fd5-9b3d-5acadfa71a08","resolution":{"observed_at":"2026-08-12T15:19:58.929684Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:58.910686Z","title":"https://cocotec","venue":null,"work_id":"52bf986a-fb19-408d-8c89-ab87f91c413c","year":2024},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.363661Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:b714647fe21b923f4bf27dd9658415ca3d14ad4ca2409c5fe6fa98e2b605cd44","observation_id":"e0bb1132-90ba-4db8-8719-f2ce0e3681bd","resolution":{"observed_at":"2026-08-12T15:19:58.915142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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:19:58.893025Z","title":"Available at https://www","venue":null,"work_id":"a33afb2e-6f47-4af2-a14f-a0bde1af4f13","year":2024},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.367994Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:19f1394913300920c5a443a0b83b5bc5d89ea1518580516af71b8a9f6f90a867","observation_id":"b19ba97c-b320-430b-a8ab-e5b1585c69cb","resolution":{"observed_at":"2026-08-12T15:19:58.899234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-89098-8_66","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:19:58.410632Z","title":"In: Intelligent Robotics and Applications, 13014, Springer, doi:10.1007/978-3-030-89098-8_66","venue":null,"work_id":"7d80883f-22ad-4851-a244-174e88b0a073","year":2021},"citing_paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T15:19:58.374435Z"},"links":{"citing_paper":"/paper/2411.14369"},"observation_digest":"sha256:69b4079a6844ec6b09b5cc87ce23a5f1c771cf260a9e4d8fc7e8c6cd3b52596d","observation_id":"2412ffcc-cb9d-463f-a45f-4e9df3b3e4c7","resolution":{"observed_at":"2026-08-12T15:19:58.417886Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14369","last_updated":"2024-11-21T18:08:02Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-12T15:13:04.657848Z","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":8,"verified_exact":5,"verified_fuzzy":10},"total_outbound_references":26},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2411.14369."}