8 citations · 10 across the 5 of their papers we have counts for
6 papers
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…
The Omega Turn: A General Turning Template for Elongate Robots
Baxi Chong, Tianyu Wang, Kelimar Diaz +12
Elongate limbless robots have the potential to locomote through tightly packed spaces for applications such as search-and-rescue and industrial inspections. The capability to effec…
AutoMerge: A Framework for Map Assembling and Smoothing in City-scale Environments
Peng Yin, Haowen Lai, Shiqi Zhao +4
We present AutoMerge, a LiDAR data processing framework for assembling a large number of map segments into a complete map. Traditional large-scale map merging methods are fragile t…
ALITA: A Large-scale Incremental Dataset for Long-term Autonomy
Peng Yin, Shiqi Zhao, Ruohai Ge +5
For long-term autonomy, most place recognition methods are mainly evaluated on simplified scenarios or simulated datasets, which cannot provide solid evidence to evaluate the readi…
Generalized Omega Turn Gait Enables Agile Limbless Robot Turning in Complex Environments
Tianyu Wang, Baxi Chong, Yuelin Deng +3
Reorientation (turning in plane) plays a critical role for all robots in any field application, especially those that in confined spaces. While important, reorientation remains a r…
The Geometry of Optimal Gaits for Inertia-dominated Kinematic Systems
Ross L. Hatton, Zachary Brock, Shuoqi Chen +5
Isolated mechanical systems -- e.g., those floating in space, in free-fall, or on a frictionless surface -- are able to achieve net rotation by cyclically changing their shape, eve…