Static Analysis by Policy Iteration on Relational Domains.
Stephane GaubertEric GoubaultAnkur TalySarah ZennouPublished in: ESOP (2007)
Keyphrases
- static analysis
- policy iteration
- relational domains
- markov decision processes
- relational data
- multi relational
- model free
- reinforcement learning
- transfer learning
- inductive logic programming
- fixed point
- optimal policy
- least squares
- source code
- relational structures
- markov decision process
- graphical models
- first order logic
- finite state
- temporal difference
- infinite horizon
- linear programming
- state space
- optimal control
- test suite
- regular expressions
- belief propagation
- query evaluation