Reasoning about multi-stage programs.

Jun Inoue Walid Taha

Published in: J. Funct. Program. (2016)

Keyphrases

multistage
production system
single stage
lot sizing
stochastic programming
dynamic programming
optimal policy
stochastic optimization
attack detection
computer programs
search algorithm
special case
finite horizon
production line
formal theory