Showing cs.ROShow all
3 papers · 1 filter
cs.RO2026
Risk-Aware Belief Control Barrier Functions over Random Finite Sets
Shaohang Han, Gang Chen, Yixi Cai +5
Ensuring robot safety in unknown, dynamic environments is a fundamental requirement. It involves inferring the states of an unknown and time-varying number of moving objects from n…
cs.RO2025
Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
Shaohang Han, Joris Verhagen, Jana Tumova
We study motion planning under Signal Temporal Logic (STL), a useful formalism for specifying spatial-temporal requirements. We pose STL synthesis as a trajectory optimization prob…
cs.RO2024
CageCoOpt: Enhancing Manipulation Robustness through Caging-Guided Morphology and Policy Co-Optimization
Yifei Dong, Shaohang Han, Xianyi Cheng +5
Uncertainties in contact dynamics and object geometry remain significant barriers to robust robotic manipulation. Caging mitigates these uncertainties by constraining an object's m…