Login / Signup

Integrating Policy Iterations in Abstract Interpreters.

Pierre RouxPierre-Loïc Garoche
Published in: ATVA (2013)
Keyphrases
  • optimal policy
  • virtual machine
  • description language
  • machine learning
  • decision process
  • real time
  • neural network
  • search engine
  • objective function
  • optimal solution
  • higher level
  • asymptotically optimal
  • policy making