Login / Signup

Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case.

Pierre RouxPierre-Loïc Garoche
Published in: Formal Methods Syst. Des. (2015)
Keyphrases
  • static analysis
  • real world
  • artificial intelligence
  • objective function
  • optimal solution
  • pairwise
  • relational databases
  • decision trees
  • case study