Robustness-Bound Optimization Logic