2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.RO2026
SurgSync: Time-Synchronized Multi-Modal Data Collection Framework and Dataset for Surgical Robotics
Haoying Zhou, Chang Liu, Yimeng Wu +7
Most existing robotic surgery systems adopt a human-in-the-loop paradigm, often with the surgeon directly teleoperating the robotic system. Adding intelligence to these robots woul…
cs.LG2023★ 2 cited
Exact Verification of ReLU Neural Control Barrier Functions
Hongchao Zhang, Junlin Wu, Yevgeniy Vorobeychik +1
Control Barrier Functions (CBFs) are a popular approach for safe control of nonlinear systems. In CBF-based control, the desired safety properties of the system are mapped to nonne…