activity
20182022
most citedThe Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results

43 citations · 107 across the 16 of their papers we have counts for

collaborators

27 papers

cs.RO20224 cited

Safe Control Under Input Limits with Neural Control Barrier Functions

Simin Liu, Changliu Liu, John Dolan

We propose new methods to synthesize control barrier function (CBF)-based safe controllers that avoid input saturation, which can cause safety violations. In particular, our method…

cs.RO2022

Task-Agnostic Adaptation for Safe Human-Robot Handover

Ruixuan Liu, Rui Chen, Changliu Liu

Human-robot interaction (HRI) is an important component to improve the flexibility of modern production lines. However, in real-world applications, the task (\ie the conditions tha…

cs.RO202217 cited

General Place Recognition Survey: Towards the Real-world Autonomy Age

Peng Yin, Shiqi Zhao, Ivan Cisneros +6

Place recognition is the fundamental module that can assist Simultaneous Localization and Mapping (SLAM) in loop-closure detection and re-localization for long-term navigation. The…

cs.RO2022

Noncooperative Herding With Control Barrier Functions: Theory and Experiments

Jaskaran Grover, Nishant Mohanty, Wenhao Luo +2

In this paper, we consider the problem of protecting a high-value unit from inadvertent attack by a group of agents using defending robots. Specifically, we develop a control strat…

cs.RO20222 cited

Robust Task Planning for Assembly Lines with Human-Robot Collaboration

Jessica Leu, Yujiao Cheng, Changliu Liu +1

Efficient and robust task planning for a human-robot collaboration (HRC) system remains challenging. The human-aware task planner needs to assign jobs to both robots and human work…

cs.RO2022

A Composable Framework for Policy Design, Learning, and Transfer Toward Safe and Efficient Industrial Insertion

Rui Chen, Chenxi Wang, Tianhao Wei +1

Delicate industrial insertion tasks (e.g., PC board assembly) remain challenging for industrial robots. The challenges include low error tolerance, delicacy of the components, and…