TY - RPRT TI - Optimization under uncertainty: understanding orders and testing programs with specifications AU - Patrik Jansson AU - Nicola Botta AU - Tim Richter PY - 2026 UR - https://arxiv.org/abs/2503.18561 ID - 2503.18561 ER -