Optimization under uncertainty: understanding orders and testing programs with specifications

Patrik Jansson, Nicola Botta, Tim Richter

One of the most ubiquitous problems in optimization is that of finding all the elements of a finite set at which a function $f$ attains its minimum (or maximum). When the codomain…