Sequential decision problems, dependently-typed solutions.

Nicola Botta Cezar Ionescu Edwin C. Brady

Published in: CICM Workshops (2013)

Keyphrases

data mining
upper bound
reinforcement learning