3 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
Handroid: Bridging Dexterous Hand and Humanoid
Ruogu Li, Chenyang Ma, Sikai Li +6
Dexterous hands and humanoid robots are typically developed as distinct embodiments: the former enable contact-rich manipulation at the object scale, whereas the latter provide mob…
cs.RO2026
Current as Touch: Proprioceptive Contact Feedback for Compliant Dexterous Manipulation
Chenyang Ma, Yunchao Yao, Zhenyu Wei +3
Compliance is essential for dexterous manipulation, yet existing solutions often rely on external tactile or force sensors that are costly, fragile, and difficult to deploy on low-…