2 papers
cs.LO2026
A new method for proving confluence on abstract reduction systems --- Confluence of non-E-overlapping weakly-shallow TRSs ---
Masahiko Sakai, Mizuhito Ogawa, Michio Oyamaguchi
This paper proposes a new method for proving the confluence of an abstract reduction system (ARS) by clarifying the sufficient conditions, called compatibility and edge commutativi…
cs.RO2026
DeformX: A Versatile Co-Simulation Framework for Deformable Linear Objects
Yi Yang, Xiang Fei, Lehong Wang +5
Deformable linear objects (DLOs) such as wires, cables, and ropes are common in robotic manipulation tasks, yet simulating them with both visual realism and physical accuracy remai…