Recently, the set of decomposition approaches has been extended by stochastic dual dynamic integer programming (SDDiP) [1]. Constructing outer approximations of the value functions using so-called ...

The present work provides a general framework for tree-partitioning problems based on mixed-integer linear programming (MILP). In particular, we present a novel MILP formulation to optimally solve ...

Nevertheless, I believe the dynamic partition pruning should work in both cases - when a single record or multiple records are merged without having to type dates explicitly.

Certified safe control is a growing challenge in robotics, especially when performance and safety objectives must be concurrently achieved. In this work, we extend the barrier state (BaS) concept, ...