Certifiable Robot Control Under Uncertainty: Towards Safety, Stability, And Robustness