Paper Citation Record · LEDGER

Model Checking and Verification of Synchronisation Properties of Cobot Welding

As of 12 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2411.14369.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2411.14369 v1

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:19:58.374435Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

26 of 26 outbound references displayed

verified exact5
verified fuzzy10
unresolved8
parse uncertain0
malformed identifier2
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation fc53bf1d-71b7-4a99-b2a0-a76110df78ca · outbound

This paper cites MIT Press.

Model Checking and Verification of Synchronisation Properties of Cobot Welding MIT Press

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:19:59.036750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 62ff8f43-efe8-4571-9bb5-1c7426a2a658 · outbound

This paper cites Baxter, P.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Baxter, P

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:58.253773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 241d893d-8283-42da-8316-78ca95bda628 · outbound

This paper cites an unresolved cited work.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:58.258441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1089fdb4-135e-4b3a-8bdc-2f8d5b1ac6aa · outbound

This paper cites Springer International Publishing, doi:10.1007/978-3-030-66494-7_9.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Springer International Publishing, doi:10.1007/978-3-030-66494-7_9

Reference 4

Resolution: verified exact; doi, observed 2026-08-12T15:19:58.542591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 273ffc09-47eb-421d-bf61-0d72bea35726 · outbound

This paper cites In: Software Engineering for Robotics , Springer, doi:10.1007/978-3-030- 66494-7_9.

Model Checking and Verification of Synchronisation Properties of Cobot Welding In: Software Engineering for Robotics , Springer, doi:10.1007/978-3-030- 66494-7_9

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:19:58.267635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2adeffd6-d618-4339-9e0e-d5ed1f23a97a · outbound

This paper cites (2021):On the use of simulation in robotics: Oppor- tunities, challenges, and suggestions for moving forward.

Model Checking and Verification of Synchronisation Properties of Cobot Welding (2021):On the use of simulation in robotics: Oppor- tunities, challenges, and suggestions for moving forward

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:58.272618Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16a16fb7-40b8-42ab-8cd1-662e1e913742 · outbound

This paper cites Clarke (1997): Model checking.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Clarke (1997): Model checking

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:58.278499Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 758e15c7-553b-4ae3-8f97-438c6c041f0e · outbound

This paper cites In: ASME international mechanical engineering congress and exposition , 15281, American Society of Mechanical Engineers, doi:10.1115/IMECE1996-0367.

Model Checking and Verification of Synchronisation Properties of Cobot Welding In: ASME international mechanical engineering congress and exposition , 15281, American Society of Mechanical Engineers, doi:10.1115/IMECE1996-0367

Reference 8

Resolution: verified exact; doi, observed 2026-08-12T15:19:58.500373Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 48fc62ba-34ef-4587-aca2-6f58cad7d4cc · outbound

This paper cites Available at http://www.eclipse.org/.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Available at http://www.eclipse.org/

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:19:59.021620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 10e22c56-f542-4135-a1c4-a61289646d23 · outbound

This paper cites Roscoe (2014): FDR3 — A Modern Refinement Checker for CSP.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Roscoe (2014): FDR3 — A Modern Refinement Checker for CSP

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:58.293358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c693139c-dedd-4199-b2b5-257ba32fe8c0 · outbound

This paper cites an unresolved cited work.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:58.298153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bc86a20-e1dd-40bc-9da9-ca45cdc851da · outbound

This paper cites International journal of mechanical and materials engineering10, doi:10.1186/s40712- 015-0042-y.

Model Checking and Verification of Synchronisation Properties of Cobot Welding International journal of mechanical and materials engineering10, doi:10.1186/s40712- 015-0042-y

Reference 12

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T15:19:58.473293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 270676a6-d1a7-4c3b-8e3d-eff61095d9e8 · outbound

This paper cites Software & Systems Modeling 18, doi:10.1007/s10270-018-00710-z.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Software & Systems Modeling 18, doi:10.1007/s10270-018-00710-z

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:58.313419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd24c514-2670-41c5-96b3-a72058003f2a · outbound

This paper cites Anisi & Morten Mossige (2022): Safety assur- ance of an industrial robotic control system using hardware/software co-verification.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Anisi & Morten Mossige (2022): Safety assur- ance of an industrial robotic control system using hardware/software co-verification

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T15:19:58.317714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a398e34-74c9-4dea-b86c-3748b65e8470 · outbound

This paper cites Master’s thesis, Norwegian University of Life Sciences, Ås, Norway.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Master’s thesis, Norwegian University of Life Sciences, Ås, Norway

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:19:59.006309Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5dc25db9-23c7-4068-9f79-e57c684f090d · outbound

This paper cites Available at https: //www.pioneer-robotics.no/cobot/intelliwelder/.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Available at https: //www.pioneer-robotics.no/cobot/intelliwelder/

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:19:58.991352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 972e3c69-b376-4603-8292-0c74c8280d8d · outbound

This paper cites Springer Science & Business Media, doi:10.1007/1-84628-191-1.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Springer Science & Business Media, doi:10.1007/1-84628-191-1

Reference 18

Resolution: verified exact; doi, observed 2026-08-12T15:19:58.448726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 160d6af5-9cf2-4cf7-a7ad-e64632c0039a · outbound

This paper cites IEEE Access 5, doi:10.1109/ACCESS.2017.2708127.

Model Checking and Verification of Synchronisation Properties of Cobot Welding IEEE Access 5, doi:10.1109/ACCESS.2017.2708127

Reference 19

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T15:19:58.737243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 07cb1008-9694-43bc-8662-88fd3bb78d46 · outbound

This paper cites Pedroza Yanez & Luz M.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Pedroza Yanez & Luz M

Reference 20

Resolution: verified exact; doi, observed 2026-08-12T15:19:58.431939Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b10d8230-b731-455e-8935-ba0e1c9b89eb · outbound

This paper cites Available at https://thgautomation.com/2024/06/27/in-sync-the-benefits-of-coordinated-motion/.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Available at https://thgautomation.com/2024/06/27/in-sync-the-benefits-of-coordinated-motion/

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:19:58.974065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 8eb10ecc-8a80-4d34-a8ff-56e1cf1f1513 · outbound

This paper cites Available at https://www.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Available at https://www

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:19:58.959393Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d9037d2c-53ac-4f3d-8294-79653f040418 · outbound

This paper cites Avail- able at https://www.universal-robots.com/articles/ur/interface-communication/ real-time-data-exchange-rtde-guide/.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Avail- able at https://www.universal-robots.com/articles/ur/interface-communication/ real-time-data-exchange-rtde-guide/

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:19:58.945040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 32a67c85-3fb4-4fd5-9b3d-5acadfa71a08 · outbound

This paper cites 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/.

Model Checking and Verification of Synchronisation Properties of Cobot Welding 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/

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:19:58.929684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e0bb1132-90ba-4db8-8719-f2ce0e3681bd · outbound

This paper cites https://cocotec.

Model Checking and Verification of Synchronisation Properties of Cobot Welding https://cocotec

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:19:58.915142Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b19ba97c-b320-430b-a8ab-e5b1585c69cb · outbound

This paper cites Available at https://www.

Model Checking and Verification of Synchronisation Properties of Cobot Welding Available at https://www

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:19:58.899234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2412ffcc-cb9d-463f-a45f-4e9df3b3e4c7 · outbound

This paper cites In: Intelligent Robotics and Applications, 13014, Springer, doi:10.1007/978-3-030-89098-8_66.

Model Checking and Verification of Synchronisation Properties of Cobot Welding In: Intelligent Robotics and Applications, 13014, Springer, doi:10.1007/978-3-030-89098-8_66

Reference 27

Resolution: verified exact; doi, observed 2026-08-12T15:19:58.417886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Pith citing papers

No inbound Pith citation observations are available.