Not Only Rewards but Also Constraints: Applications on Legged Robot Locomotion | Synapse