Ignore emacs temp files
Policy computation by dynamic programming -- INCOMPLETE