Designing Reliable Controllers For Bipedal Robots