pac - bayes control : synthesizing controllers that provably generalize to novel environments .
Chance-constrained dynamic programming with application to risk-aware robotic space exploration