Multi-Stage Programming: Axiomatization and Type Safety.

Walid Taha Zine-El-Abidine Benaissa Tim Sheard

Published in: ICALP (1998)

Keyphrases

multistage
production system
single stage
dynamic programming
lot sizing
stochastic optimization
stochastic programming
attack detection
optimal policy
programming language
average cost
supply chain
optimal control
finite horizon
open shop