A Change-Based Heuristic for Static Analysis with Policy Iteration.
Marcus VölkerStefan KowalewskiPublished in: SAS (2019)
Keyphrases
- static analysis
- policy iteration
- markov decision processes
- dynamic analysis
- reinforcement learning
- model free
- fixed point
- source code
- optimal policy
- markov decision process
- temporal difference
- regular expressions
- dynamic programming
- policy evaluation
- finite state
- sample path
- average reward
- least squares
- optimal solution
- test suite
- convergence rate
- state space
- infinite horizon
- reverse engineering
- optimal control
- reward function
- linear programming
- query language
- metadata