search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Discounted Duration Calculus.

Heinrich Ody Martin Fränzle Michael R. Hansen

Published in: FM (2016)

Keyphrases

markov decision processes
infinite horizon
cash flow
dynamic programming
automated deduction
optimal policy
average cost
relational calculus
data sets
average reward
theorem proving
proof procedure
type checking
reinforcement learning
natural deduction
algebraic structure
data mining