Sign in

Synthesis of first-order dynamic programming algorithms.

Yewen PuRastislav BodíkSaurabh 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