Login / Signup
Synthesis of first-order dynamic programming algorithms.
Yewen Pu
Rastislav Bodík
Saurabh Srivastava
Published in:
OOPSLA (2011)
Keyphrases
</>
dynamic programming algorithms
decision diagrams
dynamic programming
optimal policy
higher order
computational complexity
markov decision processes
np complete problems