4 citations · 12 across the 16 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2024
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
Hanjiang Hu, Yujie Yang, Tianhao Wei +1
Control barrier functions (CBFs) are important in safety-critical systems and robot control applications. Neural networks have been used to parameterize and synthesize CBFs with bo…
cs.RO2022★ 2 cited
Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificate
Dongjie Yu, Wenjun Zou, Yujie Yang +4
Safe reinforcement learning (RL) that solves constraint-satisfactory policies provides a promising way to the broader safety-critical applications of RL in real-world problems such…