: A Discounted Analogue and a New Proof.

Shaler Stidham Jr.

Published in: Oper. Res. (1972)

Keyphrases

markov decision processes
cash flow
infinite horizon
dynamic programming
optimal policy
machine learning
proof planning
natural deduction
theorem proving
theorem prover
multi agent
decision trees
finite horizon
information systems
computer vision
databases
interactive theorem proving