Learning Safe Locomotion for Quadrupedal Robots by Derived-Action Optimization | IEEE Conference Publication | IEEE Xplore