Reasoning about Multi-stage Programs.

Jun Inoue Walid Taha

Published in: ESOP (2012)

Keyphrases

multistage
dynamic programming
lot sizing
production system
stochastic programming
stochastic optimization
computer programs
single stage
attack detection
lot streaming
expert systems
average cost
finite horizon
production line
assembly systems